計算モデル論2020
last modified:2020/09/01 (by K. Yamada) 2020前期 計算モデル論（山田） 講義資料 講義で使う資料を以下に示します． ガイダンス資料(pdf) 教科書： 猪股俊光，山田敬三： 計算モデルとプログラミング， 森北出版，2019，ISBN: 978-4-627-85471-0． 学習支援コーナー案内(pdf) 講義計画 ５月１９日（火）：第１回：オリエンテーション， 講義動画配信， 第１回レポート課題 ５月２６日（火）：第２回：有限状態機械(1)：順序機械， (数学の準備)， 講義動画配信， 第２回レポート課題 ６月２日（火）：第３回：有限状態機械(2)：有限オートマトン， 講義動画配信， 第３回レポート課題 ６月９日（火）：第４回：有限状態機械(3)：有限オートマトンの限界， 講義動画配信， 第４回レポート課題 ６月１６日（火）：第５回：チューリング
理学部情報科学科3S - okura diary
書かないと記憶の彼方に消えてしまうと思うので簡単な振り返りメモです。 対象読者 : そこのあなた 後輩に有益かどうかはわかりません。2Aについては同期のブログ kammer0820.hatenablog.comが詳しいです。 課題のネタバレなどはなるべくないように注意したつもりなのでご安心ください(?) 諸々の成果物は以下にあげてあります。 github.com ネタバレ回避のためにバイナリのみです。(使い方のdocumentはそのうち整理したい) 月2 オペレーティングシステム 月3,4 システムプログラミング実験 火2 離散数学 火3,4 関数論理型プログラミング実験 水2 情報論理 木2 言語処理系論 木3,4 ハードウェア実験 金2 計算機構成論 金3,4 情報科学演習Ⅰ 課外 まとめ 月2 オペレーティングシステム 講義名のとおりOSの仕事や仕組みを一通り学びました。 プロセス管
しばらく Prolog やってみた感想 - Humanity
ここ最近 Prolog を書いていて、「Prolog はどうせ遅いし Prolog の良さはそこじゃない」がやっと体感的に分かってきた気がします。 ぶっちゃけPrologはどうせ遅いしPrologの良さはそこじゃない Prologの良さは簡単に書けることだ。 高階な述語は使うのやめたほうが簡単だという。 勉強になった。— h_sakurai (@h_sakurai) September 11, 2018 今の私なりの解釈で言うと、効率の良いデータ構造とアルゴリズムを考えるのが第一義の場面では Prolog の良さは発揮できないという事です。 Prolog でもデータ構造をちゃんと設計してカット多様すればそれなりに速いプログラムを作れるのかもしれませんが、それは普通に逐次的な（手続き的な）プログラムを書いてるのと同じで*1、それよりもバックトラックでナイーブにルールを総当たりする所が Pro
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Programming in Prolog Part 4 - Lists, Pairs and the Member Function
Programming In Prolog Part 3 - Scope, Structures and Arithmetic Operations
Programming In Prolog Part 2 - Syntax, Questions and Structs
Programming In Prolog Part 1 - Facts, Rules and Queries