松本 吉弘 | 大阪工業大学
スポンサーリンク
概要
関連著者
-
松本 吉弘
大阪工業大学
-
松本 吉弘
大阪工業大学情報科学部情報システム学科
-
森 彰
京都大学工学部
-
松本 吉弘
京都大学工学部情報工学教室
-
篠原 伸生
京都大学工学部
-
吉野 松樹
大阪大学大学院情報科学研究科
-
吉野 松樹
日立製作所
-
吉野 松樹
(株)日立製作所ソフトウェア工場
-
松本 吉弘
武蔵工業大学
-
前田 将徳
松下電器
-
前田 将徳
松下電器産業
著作論文
- PCTE : ソフトウェアツールを移植可能にし, 共通に利用するための環境
- ソフトウエア仕様記述におけるカテゴリ論の応用について
- 部分計算を用いた等式仕様の変換と実行
- 随伴関手を用いた圏論的結合子の導出
- 圏によるソフトウェア意味の可視化 ( 情報の可視化)
- 圏論的結合子の操作的意味について
- 複雑系として技術史を観る
- ソフトウェアプロジェクトにおける協力と協調を支援する計算機環境