2 0 0 0 π-計算の名前制限の名前生成による実装の正しさ
- 著者
- 河辺 義信 真野 健 堀田 英一 小暮 潔
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)
- 巻号頁・発行日
- vol.85, no.3, pp.249-261, 2002-03-01
プロセス代数π-計算は,プロセス間の通信リンクの動的接続を表現できる形式モデルである.本論文では,π-計算の実装に必要となる通信リンクの実装方法について述べる.π-計算では,通信リンクを「名前制限」と呼ばれる概念で形式化する.一方,実装では通信リンクは「名前生成」で扱うのが容易である.両者の同等性の形式的な証明は与えられていない.また,π-計算に対してデータタイプを加えた体系では,両者の同等性に関する反例が存在する.本論文では,データタイプ部を加えたπ-計算を扱い,名前制限と名前生成の同等性を論じる.
1 0 0 0 OA 工学系大学における数値計算教育のための言語/ツールの検討
- 著者
- 堀田 英一 宮田 孝富
- 出版者
- 金沢工業大学
- 雑誌
- KIT progress : 工学教育研究 (ISSN:13421662)
- 巻号頁・発行日
- vol.21, pp.191-203, 2014-03
本稿は,数値計算のための代表的なプログラミング言語やツールを,共通の問題を扱うことにより評価し,その結果を比較検討することによって,工学系大学における数値計算教育における言語やツールとして,何がどういう目的に相応しいかに関して見通しを提示することを目的とする.