大山口 通夫 | 三重大学大学院工学研究科

スポンサーリンク

概要

• 大山口 通夫の詳細を見る
• 同名の論文著者
• 三重大学大学院工学研究科の論文著者

関連著者

• 大山口 通夫

  三重大学大学院工学研究科

• 大山口 通夫

  Faculty of Engineering, Mie University

• 大山口 通夫

  Faculty Of Engineering Mie University

• 大山口 通夫

  三重大学工学研究科

• 山田 俊行

  三重大学大学院工学研究科情報工学専攻

• 大山口 通夫

  東北大学電気通信研究所

• 大山口 通夫

  三重大学大学院工学研究科情報工学専攻

• 伊藤 英則

  名古屋工業大学大学院工学研究科情報工学専攻

• 田中 友幸

  三重大学工学研究科

• 田中 雄一

  宇都宮大学大学院工学研究科

• 田中 雄一

  宇都宮大学工学部情報工学科

• 本多 波雄

  名古屋大学工学部

• 岡村 洋

  三重大学大学院工学研究科情報工学専攻

• 田中 友幸

  三重大学大学院工学研究科

• 張 磊

  名古屋工業大学

• 本多 波雄

  東北大学電気通信研究所

• Tanaka Yuichi

  Department Of Electronics And Electrical Engineering Keio University

• 渡辺 和樹

  三重大学大学院工学研究科

• 外山 芳人

  NTT

• 伊藤 英則

  名古屋工業大学

• 平井 智宏

  三重大学大学院工学研究科

• 田中 雄一

  三重大学大学院工学研究科

• 田中 雄一

  東京農工大学大学院工学研究院

もっと見る 閉じる

著作論文

• 文脈を考慮したJavaプログラムの参照先解析に関する一考察 (アルゴリズムと計算機科学の数理的基盤とその応用)
• 単純型付き等式系に基づく定理自動証明に関する一考察(計算機科学の理論とその応用)
• 非線形項書き換えシステムのE-非オーバーラップ性について(理論計算機科学とその周辺)
• Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems : DRAFT
• 決定性プッシュダウンオートマトンの等価性判定問題についての一結果 (計算機構の数学的研究)
• 決定性Kプッシュダウン記号nテーププッシュダウンオートマトンの実時間計算に関する一考察 (オートマトン理論と数理言語の研究)
• 静的単一代入形式を用いたポインタ解析アルゴリズム
• D-3-4 教育用C言語とそのコンパイラに関する一考察(D-3.ソフトウェアサイエンス,一般講演)

スポンサーリンク