大久保 弘崇 | 名古屋大学情報工学科
スポンサーリンク
概要
関連著者
-
大久保 弘崇
愛知県立大学情報科学部
-
大久保 弘崇
名古屋大学情報工学科
-
大久保弘崇
愛知県立大学
-
大久保 弘崇
愛知県立大学
-
山本 晋一郎
愛知県立大学情報科学部
-
山本 晋一郎
愛知県立大学
-
大久保 弘崇
愛知県立大学大学院情報科学研究科
-
粕谷 英人
愛知県立大学情報科学部
-
粕谷 英人
愛知県立大学大学院情報科学研究科
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
山本 晋一郎
愛知県立大学大学
-
坂部 俊樹
名古屋大学大学院 情報科学研究科
-
稲垣 康善
豊橋技術科学大学
-
稲垣 康善
愛知県立大学情報科学部
-
稲垣 康善
名古屋大学
-
斉藤 邦彦
滋賀大学経済学部
-
清崎 大輔
愛知県立大学大学院情報科学研究科
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
堀田 吉彦
愛知県立大学大学院情報科学研究科
-
沢田 篤史
南山大学
-
中道 上
南山大学数理情報学部情報通信学科
-
小林 隆志
名古屋大学大学院情報科学研究科
-
小林 隆志
東洋公衆衛生学院臨床検査技術学科
-
太田 洋介
愛知県立大学大学院情報科学研究科
-
小林 隆志
沼津工業高等専門学校機械工学科
-
金子 伸幸
名古屋大学大学院情報科学研究科
-
小林 隆志
ヘキスト・マリオン・ルセル・創薬研
-
金子 伸幸
名古屋大学|現在 株式会社ネットレックス
-
小林 隆志
名古屋大学
-
板部 俊樹
情報工学専攻
-
板部 俊樹
名古屋大学情報工学科
-
近藤 裕佑
愛知県立大学大学院情報科学研究科
-
栗田 健士
愛知県立大学大学院情報科学研究科
-
齋藤 邦彦
滋賀大学経済学部
-
斎藤 邦彦
滋賀大学経済学部
-
小川 順平
奈良県立大学大学院応報化学研究科
-
粕谷 英人
奈良県立大学情報化学部
-
大久保 弘崇
奈良県立大学情報化学部
-
山本 晋一郎
奈良県立大学情報化学部
-
高橋 透
愛知県立大学大学院 情報科学研究科
-
斉藤 孝志
愛知県立大学大学院情報科学研究科
-
後藤 英斗
愛知県立大学情報科学部情報システム学科
-
笠原 史郎
愛知県立大学情報科学部情報システム学科
-
栗田 健士
株式会社メイテック
-
中道 上
南山大学
-
稲垣 康善
名古屋大学情報工学科
-
竹内 亮太郎
愛知県立大学大学院情報科学研究科
-
藤浦 祥雅
愛知県立大学大学院情報科学研究科
著作論文
- 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- 付箋による一時的情報の管理とその応用
- 形式的手法に基づくJavaScriptプログラムの型検査系の実現
- B-017 リバースエンジニアリングによるUMLをベースとした拡張シーケンス図の生成(B分野:ソフトウェア)
- 形式的概念分析を用いたグルーピングによるCプログラム理解支援手法(学生セッション H_開発支援)
- UMLをベースとしたJavaプログラムの視覚化における手続的処理部の表現について
- オブジェクト指向プログラムに対するクラス集合型検査の健全性
- 4M-6 WebブラウザのCSSレンダリング妥当性検査手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- 構造に基づいたXML文書のスキーマ変換器自動生成
- モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
- 構文木に着目してXMLマークアップされたソースプログラム間の差分抽出(開発支援(1)(学生セッション))
- モデル生成に基づくJavaScriptプログラムの型検査系
- ミューテーション法を用いたテストセット構成支援に関する研究(開発支援(2)(学生セッション))
- 文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法(開発支援(2)(学生セッション))
- モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
- Cプログラムの理解を支援するナビゲーション機能(開発支援(学生セッション))
- 構文解析器の開発支援環境(開発支援(学生セッション))
- オブジェクト指向プログラムに対するMessage Not Understood フォールト検知のための型検査アルゴリズム
- サンプルプログラム自動生成のためのリソースを考慮した依存グラフ
- 空欄補充問題の自動生成によるHaskellプログラミング学習支援環境
- SimpleObjectに対する型検査 : 型制約言語と推論アルゴリズム
- SimpleObjectにおけるクラス定義単位の型制約導出と型検査