トップページ
»
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群 歴史・年表・資料
インフォメーション
「知識ベース」について
学会ホームページ
ご意見・ご感想
電子情報通信学会会員の方はβ版をご覧に
なれます.β版は
こちら
からお入りください.
知識ベースのなかから適切なテーマを選りすぐって企画されたものです.内容に関しては新規執筆も含めて,より分かりやすく再編集されています.いわば学会の知の結晶を,皆様により充実した形でお届けするものです.
本シリーズを通じて,電子情報通信の最先端分野の面白さを堪能して頂ければ幸いです.
企画代表 原島 博「刊行のことば」より
●
感覚・知覚・認知の基礎
乾 敏郎 監修
→詳細はこちら
●
医療情報システム
黒田 知宏 監修
→詳細はこちら
●
画像入力とカメラ
寺西 信一 監修
→詳細はこちら
●
宇宙太陽発電
篠原 真毅 監修
→詳細はこちら
●
電子システムの電磁ノイズ −評価と対策−
井上 浩 監修
→詳細はこちら
●
マイクロ波伝送・回路デバイスの基礎
橋本 修 監修
→詳細はこちら
●
将来ネットワーク技術 −次世代から新世代へ−
浅見 徹 監修
→詳細はこちら
●
ネットワークセキュリティ
佐々木 良一 監修
→詳細はこちら
●
無線通信の基礎技術
−ディジタル化からブロードバンド化へ−
村瀬 淳 監修
→詳細はこちら
△ページトップ