阿草 清滋 | 京大
スポンサーリンク
概要
関連著者
-
阿草 清滋
京大
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学
-
阿草 清滋
名古屋大学工学部電気工学第二
-
阿草 清滋
京大(現名大)
-
阿草 清滋
名古屋大学工学部
-
山本 晋一郎
愛知県立大学
-
山本 晋一郎
愛知県立大学情報科学部
-
小林 隆志
名古屋大学大学院情報科学研究科
-
小林 隆志
東洋公衆衛生学院臨床検査技術学科
-
小林 隆志
沼津工業高等専門学校機械工学科
-
小林 隆志
ヘキスト・マリオン・ルセル・創薬研
-
小林 隆志
名古屋大学
-
山本 晋一郎
愛知県立大学大学
-
金子 伸幸
株式会社ネットレックス
-
金子 伸幸
名古屋大学大学院情報科学研究科
-
金子 伸幸
名古屋大学|現在 株式会社ネットレックス
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
名古屋大学情報科学研究科
-
桑原 寛明
立命館大学情報理工学部
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
渥美 紀寿
南山大学情報理工学部
-
渥美 紀寿
名古屋大学大学院情報科学研究科
-
今井 敬吾
名古屋大学大学院情報科学研究科
-
山本 雅基
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
山本 雅基
名古屋大学大学院情報科学研究科
-
日高 隆博
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
大須賀 俊憲
名古屋大学大学院情報科学研究科
-
鈴村 延保
アイシン精機株式会社
-
水野 良太
名古屋大学大学院情報科学研究科
-
日高 隆博
名古屋大 大学院情報科学研究科 組込みシステム研究セ
-
間瀬 順一
アイシン・コムクルーズ株式会社
-
鈴村 延保
アイシン精機
-
桑原 寛明
名古屋大学大学院情報科学研究科
-
桑原 寛明
立命館大学
-
間瀬 健二
名古屋大学大学院情報科学研究科
-
本田 晋也
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
手嶋 茂晴
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
冨山 宏之
名古屋大学大学院情報科学研究科情報システム学専攻
-
沢田 篤史
南山大学
-
河口 信夫
名古屋大学
-
高田 広章
名古屋大学
-
新田 克己
電総研
-
辻井 潤一
京大
-
相田 仁
東大
-
佐々 政孝
筑波大
-
中所 武司
日立
-
冨山 宏之
名古屋大学
-
野田 訓広
名古屋大学工学部電気電子・情報工学科
-
上原 伸介
名古屋大学工学部電気電子・情報工学科
-
手嶋 茂晴
名古屋大学大学院工学研究科情報工学専攻
-
渥美 紀寿
南山大学数理情報学部
-
辻井 潤一
京都大学工学部電気工学第2教室
-
小川 義明
名古屋大学大学院情報科学研究科:株式会社中電シーティーアイ
-
末次 亮
名古屋大学大学院情報科学研究科情報システム学専攻
-
林 英志
愛知県立大学
-
河口 信夫
名古屋大学大学院工学研究科
-
河口 信夫
名古屋大学情報連携基盤センター
-
河口 信夫
名古屋大学大学院工学研究科電子情報システム専攻
-
河口 信夫
名古屋大学大型計算機センター
-
間瀬 健二
名古屋大学 大学院情報科学研究科
-
山本 雅基
名古屋大学
-
上原 伸介
名古屋大学大学院情報科学研究科
-
中元 秀明
名古屋大学大学院情報科学研究科:株式会社野村総合研究所
-
中所 武司
Department Of Computer Science School Of Science And Technology Meiji University
-
中所 武司
明治大学
-
野田 訓広
名古屋大学
-
末次 亮
名古屋大学大学院情報科学研究科
-
本田 晋也
名古屋大学大学院情報科学研究科
-
河口 信夫
有限会社ユビオグラフ
-
間瀬 健二
名古屋大学
-
本田 晋也
名古屋大学
-
渥美 紀寿
名古屋大学 大学院 情報科学研究科
-
酒井 正彦
名古屋大学大学院情報科学研究科
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
野呂 昌満
南山大学情報理工学部ソフトウェア工学科
-
所 真理雄
慶大
-
西 康晴
電気通信大学
-
中島 秀之
公立はこだて未来大学
-
筧 捷彦
早大
-
筧 捷彦
早稲田大学理工学術院
-
筧 捷彦
早稲田大学理工学研究科
-
筧 捷彦
早稲田大学情報学科
-
筧 捷彦
立教大学理学部数学科
-
小川 貴英
電総研
-
有澤 博
早大
-
所 真理雄
東工大
-
国藤 進
ICOT
-
戸村 哲
電総研
-
小川 裕
NTT
-
宮地 利雄
東工大
-
筧 捷彦
立大
-
米澤 明憲
東工大
-
掛下 哲郎
佐賀大学
-
中島 玲二
京大
-
相田 仁
東京大学
-
松本 吉弘
武蔵工業大学
-
沢田 篤史
南山大学情報理工学部
-
鷲崎 弘宜
早稲田大学
-
伊藤 崇
名古屋大学大学院 情報科学研究科 情報システム学専攻
-
佐藤 泰介
電総研 推論研究室
-
馬場 敬
名古屋大学大学院情報科学研究科
-
金子 伸幸
(株)ネットレックス
-
藤田 幸之
名古屋大学大学院情報科学研究科
-
中元 秀明
名古屋大学大学院情報科学研究科
-
小川 義明
名古屋大学大学院情報科学研究科
-
松本 吉弘
東芝
-
米澤 明憲
東工大・理
-
國藤 進
ICOT
-
川口 直弘
株式会社サンテック
-
関 文貴
愛知県立大学
-
中島 秀之
電総研
-
水野 佑基
名古屋大学大学院情報科学研究科
-
中元 秀明
野村総合研究所
-
小川 義明
中電シーティーアイ
-
鷲崎 弘宜
早稲田大学|国立情報学研究所graceセンター
-
鷲崎 弘宜
早稲田大学:国立情報学研究所graceセンター
-
上原 正太
アイシン・コムクルーズ株式会社
-
溝口 文雄
東理大
-
中所 武司
日立シス研
-
武市 正人
電通大
-
井田 哲雄
理研
-
片山 卓也
東工大
-
米崎 直樹
東工大
-
蛭牟田 英治
名古屋大学大学院情報科学研究科
-
間瀬 順一
アイシンコムクルーズ株式会社
-
井田 哲雄
筑波大学システム情報工学研究科コンピュータサイエンス専攻
-
横山 祐司
愛知県立大学大学
-
野木 兼六
日立
-
森澤 好臣
日本ユニバック
-
濱口 毅
名古屋大学工学部
-
野呂 昌満
南山大学情報理工学部
-
野木 兼六
(株)日立製作所システム開発研究所
-
佐藤 泰介
電総研
-
野木 兼六
日立製作所基礎研究所
-
野木 兼六
神奈川工科大学情報学部情報工学科
-
野呂 昌満
南山大学情報理工部
-
馬場 正貴
名古屋大学|現在,KDDI株式会社
-
酒井 正彦
名古屋大学
-
濱口 毅
名古屋大学
-
馬場 正貴
名古屋大学|現在 Kddi株式会社
-
米崎 直樹
東京工業大学大学院情報理工学研究科
-
加藤 希
名古屋大学大学院情報科学研究科
-
森澤 好臣
北海道情報大学
-
Yuen Shoji
Graduate School Of Information Science Nagoya University:national Institute Of Informatics
-
大須賀 俊憲
株式会社ネットレックス
-
阿草 清滋
京都大学
-
戸田 達也
名古屋大学工学部
-
YUEN Shoji
Nagoya University
-
結縁 祥治
名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
-
戸田 達也
名古屋大学 工学部
著作論文
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- ソフトウェア科学会第2回大会
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
- ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
- 知識基盤社会を支える情報技術論文特集の発行にあたって
- StrutsLint : Web アプリケーションコーディングチェッカ
- 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 要求定義支援のための要求適合度を用いた事例検索(要求工学(学生セッション))
- 制御ソフトウェアの固定小数点演算化ツールの設計と実装
- 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
- NEXCESS : 社会人組込みソフトウェア技術者教育におけるスキル育成
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
- Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
- メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
- デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- バリエーション並行開発のための版管理ツールと統合開発環境
- ソフトウェア科学会第1回大会
- 「SEC journal」創刊記念論文 優秀賞受賞論文 大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析 (「SEC journal」創刊記念論文 優秀賞受賞論文発表)
- 社会人に対する組込みソフトウェア技術の再教育の取り組み
- パネル討論会 : 要求技術の目指すべき方向
- マイコン用高級言語
- ハザ-ドレスNAND回路の合成
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- Javaプログラム理解支援のための不変性解析
- Java プログラム理解支援のための不変性解析
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 産学連携と情報処理学会(これからの情報処理学会 第6回)
- "正しい"ソフトウェアの開発を
- メタパターン適用情報に基づくオブジェクトの協調動作履歴可視化ツール
- 例外処理を持つ関数型プログラムの停止性・非停止性証明法
- OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで)
- 変更支援のための成果物アクセス履歴マイニング
- 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
- CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
- 高度IT資格制度座談会 (特集 高度IT資格制度)
- IT好き放題:面白さは突然に
- 実行トレース解析のためのデザインパターンに基づくオブジェクトグルーピング