今井 敬吾 | 名古屋大学大学院情報科学研究科

スポンサーリンク

概要

• 今井 敬吾の詳細を見る
• 同名の論文著者
• 名古屋大学大学院情報科学研究科の論文著者

関連著者

• 今井 敬吾

  名古屋大学大学院情報科学研究科

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 結縁 祥治

  名古屋大学大学院情報科学研究科

• 結縁 祥治

  名古屋大学 情報科学研究科

• 阿草 清滋

  京大

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学

• Yuen Shoji

  Graduate School Of Information Science Nagoya University:national Institute Of Informatics

• YUEN Shoji

  Nagoya University

• 結縁 祥治

  名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究

• 阿草 清滋

  名古屋大学工学部

• 阿草 清滋

  名古屋大学工学部電気工学第二

• 結縁 祥治

  名古屋大 大学院情報科学研究科

• 山本 晋一郎

  愛知県立大学情報科学部

• 伴 潤

  名古屋大学大学院情報科学研究科

• 金子 伸幸

  名古屋大学大学院情報科学研究科

• 金子 伸幸

  株式会社ネットレックス

• 金子 伸幸

  名古屋大学|現在 株式会社ネットレックス

• 山本 晋一郎

  愛知県立大学

• 結縁 祥治

  名古屋大学情報科学研究科

• 高田 広章

  名古屋大学大学院情報科学研究科附属組込みシステム研究センター

• 冨山 宏之

  名古屋大学大学院情報科学研究科情報システム学専攻

• 高田 広章

  名古屋大学

• 横山 哲郎

  名古屋大学大学院情報科学研究科

• Agusa Kiyoshi

  Graduate School of Information Science, Nagoya University

• 冨山 宏之

  名古屋大学大学院情報科学研究科

• 冨山 宏之

  名古屋大学

• 冨山 宏之

  財団法人九州システム情報技術研究所

• 曾 剛

  名古屋大学大学院情報科学研究科

• 末次 亮

  名古屋大学大学院情報科学研究科情報システム学専攻

• 横山 哲郎

  南山大学情報理工学部

• 水野 良太

  名古屋大学大学院情報科学研究科

• 山本 晋一郎

  愛知県立大学大学

• 曾 剛

  名古屋大学 大学院情報科学研究科

• 末次 亮

  名古屋大学大学院情報科学研究科

• 曾 剛

  名古屋大学

• AGUSA Kiyoshi

  the Graduate School of Information Science, Nagoya University

• IMAI Keigo

  IT Planning Inc.

• YUEN Shoji

  the Graduate School of Information Science, Nagoya University

• 阿草 清滋

  名古屋大学情報科学研究科

もっと見る 閉じる

著作論文

• Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
• Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
• Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
• 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
• 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
• アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
• セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
• A Session Type System with Subject Reduction

スポンサーリンク