トップページ
»
7群 コンピュータ - ソフトウェア
»
1編 ソフトウェア基礎
7群1編 ソフトウェア基礎
[更新履歴]
編主任
坂部俊樹(名大)
編幹事
関 浩之(奈良先端大)
酒井正彦(名大)
中島 震(NII)
全体概要
坂部俊樹(名大)
1章 計算モデル
概要
酒井正彦(名大)
1-1 木言語
石原靖哲(阪大)
1-2 通信プロセス計算
結縁祥治(名大)
1-3 項書換え系
草刈圭一朗(名大)
1-4 代数仕様
緒方和博(北陸先端大)
中村正樹(金沢大)
二木厚吉(北陸先端大)
2章 ソフトウェア検証
概要
関 浩之(奈良先端大)
2-1 ホーア論理
村上昌己(岡山大)
2-2 Isabelle/HOL
南出靖彦(筑波大)
2-3 SAT
廣川 直(北陸先端大)
2-4 モデル検査(総論)
関澤俊弦(阪学大)
高橋孝一(産総研)
2-5 UML/ステートチャート
青木利晃(北陸先端科大)
3章 モデル検査
概要
中島 震(NII)
3-1 抽象化
高橋孝一(産総研)
関澤俊弦(阪学大)
3-2 時間オートマトン
岡野浩三(阪大)
3-3 ハイブリッドオートマトン
山根 智(金沢大)
3-4 高速化技法
土屋達弘(阪大)
検索
キーワード
見出し
執筆者
全文
ヘルプ
全群一覧
S1群 情報環境とメディア
S2群 ナノ・量子・バイオ
S3群 脳・知能・人間
new!!
S4群 宇宙・環境・社会
1群 信号・システム
2群 画像・音・言語
3群 コンピュータネットワーク
4群 モバイル・無線
5群 通信・放送
6群 コンピュータ - 基礎理論とハードウェア
7群 コンピュータ - ソフトウェア
1編 ソフトウェア基礎
2編 プログラミング言語
3編 オペレーティングシステム
4編 ソフトウェア工学
5編 データベース
6編 情報検索とデータマイニング
7編 分散協調とエージェント
8群 情報入出力・記憶装置と電源
9群 電子材料・デバイス
10群 集積回路
11群 社会情報システム
12群 電子情報通信基礎
13群 標準・知財・法規
14群 歴史・年表・資料
インフォメーション
「知識ベース」について
学会ホームページ
ご意見・ご感想
△ページトップ