森 彰 | 京都大学工学部

スポンサーリンク

概要

• 森 彰の詳細を見る
• 同名の論文著者
• 京都大学工学部の論文著者

関連著者

• 松本 吉弘

  大阪工業大学

• 森 彰

  京都大学工学部

• 松本 吉弘

  大阪工業大学情報科学部情報システム学科

• 松本 吉弘

  京都大学工学部情報工学教室

• 篠原 伸生

  京都大学工学部

• 前田 将徳

  松下電器

• 前田 将徳

  松下電器産業

著作論文

• 部分計算を用いた等式仕様の変換と実行
• 随伴関手を用いた圏論的結合子の導出
• 圏によるソフトウェア意味の可視化 ( 情報の可視化)
• 圏論的結合子の操作的意味について

スポンサーリンク