西崎 真也 | 千葉大学理学部数学・情報数理学科

スポンサーリンク

概要

• 同名の論文著者
• 千葉大学理学部数学・情報数理学科の論文著者

関連著者

• 西崎 真也

  千葉大学理学部数学・情報数理学科

• 西崎 真也

  東京大学理学部情報科学科

著作論文

• 環境をファースト・クラス・オブジェクトとして扱えるλ計算
• 環境λ計算と単一化機構

スポンサーリンク