モデル検査ツールSpinによる組込みソフトウェアの検証 受講メモ
================================================================================ 8/26 13:20〜15:00 チュートリアル２ セッションS2-3-1:「モデル検査ツールSpinによる組込みソフトウェアの検証」 講師: 青木 利晃（北陸先端科学技術大学院大学） 席数 ：約30席 参加者：約20名 ================================================================================ モデル検証がいろいろいわれているが、モデル検査ツールであるSpinを紹介する。 また、組込みソフトウェアにどう使われているか説明する。 ・ソフトウェアの信頼性 現在、社会システムの様々な場所にソフトウェアが組み込まれている。 -バンキングシステム、航空管
線形論理とコンピュータ革命 - 言語ゲーム
週末は Linear Logic and Permutation Stack -- The Forth Shall Be First http://home.pipeline.com/~hbaker1/ForthStack.html 読んでいた。思ったのは、線形論理が私の人生の疑問の半分くらいを解決するだろうという事。そしてアランさんの言うコンピュータ革命とはこういう事なのかも知れないという事。 身分不相応にも未来を予測してみる。近い将来、小学校で習う算数は線形論理に基づいた物になる。未来の子供達は、カッコや優先順位や変数に悩まされる私達の数学を見て、何て野蛮で非能率なのだと言うだろう。まるで我々が漢数字やローマ数字の数学を、きわめて技巧的で非論理的だと思うように。 線形論理に基づくプログラミングとは、変数の使用を一度しか認めないプログラミングの事を言う。一度しか認めなくてプログラムなんか
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
圏論による論理学 - 東京大学出版会