阿草 清滋 | 名古屋大学情報科学研究科
スポンサーリンク
概要
関連著者
-
阿草 清滋
名古屋大学情報科学研究科
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
名古屋大学工学部電気工学第二
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
渥美 紀寿
南山大学情報理工学部
-
渥美 紀寿
名古屋大学大学院情報科学研究科
-
阿草 清滋
京都大学学術情報メディアセンター
-
渥美 紀寿
名古屋大学 大学院 情報科学研究科
-
阿草 清滋
京大
-
阿草 清滋
京大(現名大)
-
小林 隆志
名古屋大学
-
小林 隆志
東京工業大学
-
小林 隆志
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学
-
山本 晋一郎
愛知県立大学情報科学部
-
山本 晋一郎
愛知県立大学
-
小林 隆志
東洋公衆衛生学院臨床検査技術学科
-
小林 隆志
沼津工業高等専門学校機械工学科
-
小林 隆志
ヘキスト・マリオン・ルセル・創薬研
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
久保 孝行
アイシン・エィ・ダブリュ株式会社 解析技術部
-
Agusa Kiyoshi
Graduate School Of Information Science Nagoya University
-
阿草 清澄
京都大学学術情報メディアセンター
-
久保 孝行
アイシン・エイ・ダブリュ株式会社
-
小林 孝壽
名古屋大学大学院情報科学研究科
-
村松 沙那恵
名古屋大学大学院情報科学研究科
-
高井 康勢
名古屋大学大学院情報科学研究科
-
丸岡 寛典
名古屋大学大学院情報科学研究科
-
今井 敬吾
名古屋大学大学院情報科学研究科
-
酒井 正彦
名古屋大学大学院情報科学研究科
-
筧 捷彦
早稲田大学理工学術院
-
筧 捷彦
早稲田大学理工学研究科
-
筧 捷彦
早稲田大学情報学科
-
筧 捷彦
立教大学理学部数学科
-
掛下 哲郎
佐賀大学
-
大須賀 俊憲
名古屋大学大学院情報科学研究科
-
鈴村 延保
アイシン精機株式会社
-
間瀬 順一
アイシン・コムクルーズ株式会社
-
KOBAYASHI Takashi
Graduate School of Science and Engineering, Tokyo Institute of Technology
-
山本 晋一郎
愛知県立大学大学
-
濱口 毅
名古屋大学工学部
-
鈴村 延保
アイシン精機
-
Saeki Motoshi
東工大
-
Yamamoto Shinichiro
Department Of Information Systems Aichi Prefectural University
-
結縁 祥治
名古屋大学 情報科学研究科
-
馬場 正貴
名古屋大学|現在,KDDI株式会社
-
酒井 正彦
名古屋大学
-
濱口 毅
名古屋大学
-
馬場 正貴
名古屋大学|現在 Kddi株式会社
-
Yuen Shoji
Graduate School Of Information Science Nagoya University:national Institute Of Informatics
-
大須賀 俊憲
株式会社ネットレックス
-
TAKAI Yasunari
Graduate School of Information Science, Nagoya University
-
Takai Yasunari
Graduate School Of Information Science Nagoya University
-
Saeki Motoshi
The Department Of Computer Science Graduate School Of Information Science And Engineering Tokyo Institute Of Technology
-
阿草 清滋
京都大学
-
Agusa Kiyoshi
The Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
戸田 達也
名古屋大学工学部
-
Kobayashi Takashi
The Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
NODA Kunihiro
the Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
YAMAMOTO Shinichiro
the Faculty of Information Science and Technology, Aichi Prefectural University
-
Kobayashi Takashi
Graduate School Of Information Science Nagoya University
-
Noda Kunihiro
The Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
Yamamoto Shinichiro
The Faculty Of Information Science And Technology Aichi Prefectural 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
-
渥美 紀寿
名古屋大学情報連携統括本部
-
加藤 敬史
名古屋大学大学院情報科学研究科
-
YUEN Shoji
Nagoya University
-
結縁 祥治
名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
-
加藤 大樹
名古屋大学大学院情報科学研究科
-
戸田 達也
名古屋大学 工学部
著作論文
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- Web オートマトン: MVC モデルに基づくWebアプリケーションの動作モデル
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- Preliminary Assessment of Software Metrics based on Coding Standards Violations
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- IT好き放題:面白さは突然に
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- サブシステム境界情報に着目したSimulinkモデルの構造評価手法(学生及び若手(パラレルセッション:実装))
- A Session Type System with Subject Reduction
- ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
- データ依存の伝播確率に基づく欠陥箇所特定支援
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析(プログラム解析と開発支援)
- コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル
- データ依存の伝播確率に基づく欠陥箇所特定支援
- 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル