加藤 紀夫 | 早稲田大学大学院理工学研究科情報・ネットワーク専攻

スポンサーリンク

概要

• 同名の論文著者
• 早稲田大学大学院理工学研究科情報・ネットワーク専攻の論文著者

関連著者

• 加藤 紀夫

  産業技術総合研究所システム検証研究センター

• 加藤 紀夫

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 上田 和紀

  早稲田大学大学院情報理工学専攻

• 上田 和紀

  早稲田大学

• 水野 謙

  日本アイ・ビー・エム株式会社東京基礎研究所

• 上田 和紀

  早稲田大学理工学部情報学科

• 中島 求

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 工藤 晋太郎

  早稲田大学理工学研究科情報・ネットワーク専攻

• 原 耕司

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 水野 謙

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 矢島 伸吾

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

• 永田 貴彦

  早稲田大学大学院理工学研究科情報・ネットワーク専攻

もっと見る 閉じる

著作論文

• 階層グラフ書換え言語における並行プロセスの型推論
• LMNtal処理系および他言語インタフェースの設計と実装
• LA-003 LMNtal処理系におけるグラフ構造の操作機能の設計と実装(A分野:モデル・アルゴリズム・プログラミング)
• 言語モデルLMNtal
• インタフェースに基づく並行論理プログラム最適化コンパイラの構成法
• 並行論理型言語における同期ポイント移動の安全性について

スポンサーリンク