サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【HB】丸善・ジュンク堂書店×hontoブックツリー 私が22歳で出会いたかった本 ポイント5倍キャンペーン (~5/23)

収録作品一覧

岩波講座 情報科学 12 算法表現論

岩波講座 情報科学 12 算法表現論

  • 木村 泉(著)/ 米沢 明憲(著)
作品 著者 ページ
アルゴリスムにおける具体と抽象 木村泉 著  
算法表現の基礎 米沢明憲 著  
作用的算法表現の基礎 米沢明憲 著  
作用型算法言語 米沢明憲 著  
命令型算法言語 米沢明憲 著  
命令的表現の抽象化 米沢明憲 著  
非決定性と並列性の算法表現 米沢明憲 著  
算法表現の統一モデル 米沢明憲 著  
算法表現(プログラム)の意味論 米沢明憲 著  
算法表現(プログラム)の証明論 米沢明憲 著