藤田 憲悦 | 九州工業大学

スポンサーリンク

概要

• 同名の論文著者
• 九州工業大学の論文著者

関連著者

• 藤田 憲悦

  九州工業大学

• 藤田 憲悦

  島根大学総合理工学部数理情報システム学科

• 藤田 憲悦

  九州工業大学情報工学部知能情報工学科

• 平田 耕一

  九州工業大学情報工学研究院

• 竹内 章

  九州工業大学

• 野島 歓之

  九州工業大学大学院 情報工学研究科 情報科学専攻

• 堺 美子

  九州工業大学情報工学部知能情報工学科

• 中島 隆

  九州工業大学情報工学部

• 縄田 和裕

  九州工業大学情報工学部

• 石山 明宏

  九州工業大学情報工学部

• 平田 耕一

  九州工業大学

もっと見る 閉じる

著作論文

• 構成的プログラミング
• 古典的証明に基づく関数型言語の構築
• 古典的証明に基づく値呼びプログラミング言語の型推論アルゴリズムについて
• 部分型推論の困難さに関する一考察
• Domain-Free $\lambda\mu$-Calculus for Polymorphism and Call-by-Value (Languages, Algebra and Computer Systems)
• μ冠頭形証明とそのプログラミングへの応用に関する一考察
• Martin-Lofの型理論に基づくプログラム支援システムの構築
• 類推における証明項の変換について
• Bengt Nordstrom, Kent Petersson and Jan M. Smith : Programming in Martin-Lof's Type Theory, An Introduction, Clarendon Press (1990). ISBN 0-19-853814-6

スポンサーリンク