山本 晋一郎 | 愛知県立大学

スポンサーリンク

概要

• 山本 晋一郎の詳細を見る
• 同名の論文著者
• 愛知県立大学の論文著者

関連著者

• 山本 晋一郎

  愛知県立大学

• 山本 晋一郎

  愛知県立大学情報科学部

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学

• 大久保 弘崇

  愛知県立大学

• 大久保 弘崇

  愛知県立大学情報科学部

• 大久保弘崇

  愛知県立大学

• 山本 晋一郎

  愛知県立大学大学

• 大久保 弘崇

  名古屋大学情報工学科

• 大久保 弘崇

  愛知県立大学大学院情報科学研究科

• 阿草 清滋

  京大

• 粕谷 英人

  愛知県立大学情報科学部

• 粕谷 英人

  愛知県立大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学工学部

• 阿草 清滋

  名古屋大学工学部電気工学第二

• 渥美 紀寿

  南山大学情報理工学部

• 渥美 紀寿

  名古屋大学大学院情報科学研究科

• 小林 隆志

  名古屋大学大学院情報科学研究科

• 小林 隆志

  東洋公衆衛生学院臨床検査技術学科

• 小林 隆志

  沼津工業高等専門学校機械工学科

• 阿草 清滋

  京大(現名大)

• 小林 隆志

  ヘキスト・マリオン・ルセル・創薬研

• 小林 隆志

  名古屋大学

• 桑原 寛明

  立命館大学情報理工学部

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 金子 伸幸

  株式会社ネットレックス

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

• 金子 伸幸

  名古屋大学大学院情報科学研究科

• 金子 伸幸

  名古屋大学|現在 株式会社ネットレックス

• 渥美 紀寿

  南山大学数理情報学部

• 渥美 紀寿

  名古屋大学 大学院 情報科学研究科

• 本田 晋也

  名古屋大学大学院情報科学研究科附属組込みシステム研究センター

• 高田 広章

  名古屋大学大学院情報科学研究科附属組込みシステム研究センター

• 沢田 篤史

  南山大学

• 酒井 正彦

  名古屋大学大学院情報科学研究科

• 高田 広章

  豊橋技術科学大学

• 高田 広章

  名古屋大学

• 稲垣 康善

  豊橋技術科学大学

• 高田 広章

  豊橋技科大

• Agusa Kiyoshi

  Graduate School of Information Science, Nagoya University

• 稲垣 康善

  愛知県立大学情報科学部

• 鴫原 一人

  名古屋大学

• 高田 広章

  名古屋大学 大学院情報科学研究科

• 桑原 寛明

  名古屋大学大学院情報科学研究科

• 本田 晋也

  名古屋大学大学院情報科学研究科

• 酒井 正彦

  名古屋大学

• 本田 晋也

  名古屋大学

• 阿草 清滋

  名古屋大学情報科学研究科

• 西田 直樹

  名古屋大学大学院情報科学研究科

• 草刈 圭一朗

  名古屋大学大学院情報科学研究科

• 黒川 翔

  (株)デンソー

• 日高 隆博

  名古屋大学大学院情報科学研究科附属組込みシステム研究センター

• 大須賀 俊憲

  名古屋大学大学院情報科学研究科

• 鈴村 延保

  アイシン精機株式会社

• 松塚 貴英

  FUJITSU Laboratories of Europe Ltd.

• 水野 良太

  名古屋大学大学院情報科学研究科

• 日高 隆博

  名古屋大 大学院情報科学研究科 組込みシステム研究セ

• 間瀬 順一

  アイシン・コムクルーズ株式会社

• 結縁 祥治

  名古屋大 大学院情報科学研究科

• 鈴村 延保

  アイシン精機

• 松塚 貴英

  欧州富士通研

• 斉藤 邦彦

  滋賀大学経済学部

• 草刈 圭一朗

  名古屋大学 大学院情報科学研究科

• 桑原 寛明

  立命館大学

• 小林 隆志

  東京工業大学

• 西田 直樹

  名古屋大学大学院 情報科学研究科

• 阿草 清滋

  京都大学学術情報メディアセンター

• 坂部 俊樹

  名古屋大学 大学院情報科学研究科

• 西田 直樹

  名古屋大学 大学院情報科学研究科

• 手嶋 茂晴

  名古屋大学大学院情報科学研究科附属組込みシステム研究センター

• 青木 利晃

  北陸先端科学技術大学院大学

• 吉田 敦

  和歌山大学システム情報学センター

• 清崎 大輔

  愛知県立大学大学院情報科学研究科

• 今井 敬吾

  名古屋大学大学院情報科学研究科

• 高田 広章

  名古屋大学大学院情報科学研究科

• 田原 康之

  電気通信大学大学院情報システム学研究科

• 阿萬 裕久

  愛媛大学

• 白銀 純子

  東京女子大学

• 阿萬 裕久

  愛媛大学大学院理工学研究科

• 吉岡 信和

  国立情報学研究所

• 野中 誠

  東洋大学経営学部

• 野中 誠

  東洋大学

• 吉田 敦

  豊橋技術科学大学知識情報工学系

• 阿萬 裕久

  愛媛大学大学院

• 鷲崎 弘宜

  早稲田大学

• 上原 伸介

  名古屋大学工学部電気電子・情報工学科

• 手嶋 茂晴

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

• 田原 康之

  National Institute of Informatics

• 田原 康之

  電気通信大学

• 浦本 直彦

  日本アイ・ビー・エム株式会社

• 羽生田 栄一

  株式会社豆蔵

• 寺澤 真

  名古屋大学大学院工学研究科

• 浦本 直彦

  日本アイ・ビー・エム(株)東京基礎研究所

• 浦本 直彦

  日本アイ・ビー・エム(株)東京基礎研究所:国立情報学研究所

• 阿萬 裕久

  愛媛大 大学院理工学研究科

• 林 英志

  愛知県立大学

• 吉田 一

  名古屋大学大学院情報科学研究科

• 吉岡 信和

  国立情報学研究所graceセンター

• 吉岡 信和

  株式会社東芝研究開発センター

• 吉岡 信和

  総合研究大学院大学 国立情報学研究所

• 堀田 吉彦

  愛知県立大学大学院情報科学研究科

• 浅見 侑太

  愛知県立大学

• 上原 伸介

  名古屋大学大学院情報科学研究科

• 高田 広章

  名古屋大 大学院情報科学研究科 組込みシステム研究セ

• 黒川 翔

  デンソー

• 黒川 翔

  名古屋大学大学院情報科学研究科

• 阿部 真也

  愛知県立大学

• 鷲崎 弘宜

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

• 岩本 奈美

  名古屋大学大学院工学研究科

• 高井 康勢

  名古屋大学大学院情報科学研究科

• 浦本 直彦

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

• 白銀 純子

  東京女子大

• 結縁 祥治

  名古屋大学大学院情報科学研究科

• 中道 上

  南山大学数理情報学部情報通信学科

• 蜂巣 吉成

  名古屋大学工学部

• 蜂巣 吉成

  南山大学情報理工学部ソフトウェア工学科

• 沢田 篤史

  南山大学情報理工学部ソフトウェア工学科

• 野呂 昌満

  南山大学情報理工学部ソフトウェア工学科

• 尾崎 憲幸

  名古屋大学工学部

• 沢田 篤史

  南山大学情報理工学部

• 太田 洋介

  愛知県立大学大学院情報科学研究科

• 大橋 良徳

  名古屋大学

• 大橋 良徳

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

• 伊藤 崇

  名古屋大学大学院 情報科学研究科 情報システム学専攻

• 野田 訓広

  名古屋大学工学部電気電子・情報工学科

• 金子 伸幸

  (株)ネットレックス

• 小川 義明

  名古屋大学大学院情報科学研究科:株式会社中電シーティーアイ

• 末次 亮

  名古屋大学大学院情報科学研究科情報システム学専攻

• 川口 直弘

  株式会社サンテック

• 関 文貴

  愛知県立大学

• 水野 佑基

  名古屋大学大学院情報科学研究科

• 中元 秀明

  野村総合研究所

• 小川 義明

  中電シーティーアイ

• 上原 正太

  アイシン・コムクルーズ株式会社

• 松塚 貴英

  株式会社富士通研究所

• 蛭牟田 英治

  名古屋大学大学院情報科学研究科

• 間瀬 順一

  アイシンコムクルーズ株式会社

• 横山 祐司

  愛知県立大学大学

• 渥美 紀寿

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

• 近藤 裕佑

  愛知県立大学大学院情報科学研究科

• 栗田 健士

  愛知県立大学大学院情報科学研究科

• 齋藤 邦彦

  滋賀大学経済学部

• 斎藤 邦彦

  滋賀大学経済学部

• 高橋 透

  愛知県立大学大学院 情報科学研究科

• 斉藤 孝志

  愛知県立大学大学院情報科学研究科

• 後藤 英斗

  愛知県立大学情報科学部情報システム学科

• 笠原 史郎

  愛知県立大学情報科学部情報システム学科

• 沢田 洋平

  愛知県立大学大学院情報科学研究科

• 野呂 昌満

  南山大学情報理工学部

• 星野 康

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

• 中元 秀明

  名古屋大学大学院情報科学研究科:株式会社野村総合研究所

• 鈴木 宏紀

  名古屋大学大学院工学研究科

• 渡辺 竜明

  名古屋大学大学院工学研究科

• 栗田 健士

  株式会社メイテック

• 沢田 洋平

  愛知県立大学大学院 情報科学研究科

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 中道 上

  南山大学

• 野田 訓広

  名古屋大学

• 末次 亮

  名古屋大学大学院情報科学研究科

• 結縁 祥治

  名古屋大学 情報科学研究科

• 竹内 亮太郎

  愛知県立大学大学院情報科学研究科

• 藤浦 祥雅

  愛知県立大学大学院情報科学研究科

• 野呂 昌満

  南山大学情報理工部

• 鈴木 崇文

  名古屋大学工学研究科

• 大須賀 俊憲

  株式会社ネットレックス

• 大橋 洋貴

  名古屋大学大学院工学研究科

• 新美 健一

  名古屋大学大学院工学研究科

• 東 祐太朗

  愛知県立大学大学院情報科学研究科

もっと見る 閉じる

著作論文

• 拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援(開発支援(学生セッション))
• ウインターワークショップ2008・イン・道後開催報告
• 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
• 細粒度リポジトリに基づくVHDLツールプラットフォーム(ツール,開発環境)
• プログラムの正規化に基づいた差分抽出法の提案
• On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
• 高精度なデータ依存解析に基づくシーケンス図スライシング手法(モデリング(学生セッション))
• ソフトウェア理解支援のための多粒度ソフトウェアマップ(インタフェース・ナビゲーション(学生セッション))
• ソフトウェアの大局的可視化のための組織化メトリクス
• StrutsLint : Web アプリケーションコーディングチェッカ
• 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
• ウインターワークショップ2008・イン・道後開催報告
• 制御ソフトウェアの固定小数点演算化ツールの設計と実装
• 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
• 4M-4 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
• アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル
• GUI抽象化規則を用いたモデル生成手法(開発支援(2)(学生セッション))
• Web抽象プログラムを用いたリファクタリング(開発支援(2)(学生セッション))
• メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
• デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• バリエーション並行開発のための版管理ツールと統合開発環境
• 付箋による一時的情報の管理とその応用
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• Javaプログラム理解支援のための不変性解析
• Java プログラム理解支援のための不変性解析
• 形式的手法に基づくJavaScriptプログラムの型検査系の実現
• 宣言的なプログラム解析が可能なRDFに基づく細粒度ソフトウェアリポジトリ(開発支援(2)(学生セッション))
• (開発支援環境)XMLを用いた汎用的な細粒度ソフトウェアリポジトリの実装(オブジェクト指向技術)
• B-017 リバースエンジニアリングによるUMLをベースとした拡張シーケンス図の生成(B分野:ソフトウェア)
• 形式的概念分析を用いたグルーピングによるCプログラム理解支援手法(学生セッション H_開発支援)
• UMLをベースとしたJavaプログラムの視覚化における手続的処理部の表現について
• イディオム検索のための関数呼出依存グラフのクラスタリング手法(ソフトウェア工学)
• XML記述によるソフトウェアリポジトリを用いたコード検索(開発支援環境)
• FCDGに基づいたコーディングパターン
• ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル(産学連携論文)
• 4M-6 WebブラウザのCSSレンダリング妥当性検査手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
• モデル生成法に基づくJavaScriptプログラム型検査の機械実行(ソフトウェア,フォーマルアプローチ論文)
• 構文木に着目してXMLマークアップされたソースプログラム間の差分抽出(開発支援(1)(学生セッション))
• モデル生成に基づくJavaScriptプログラムの型検査系
• ミューテーション法を用いたテストセット構成支援に関する研究(開発支援(2)(学生セッション))
• 文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法(開発支援(2)(学生セッション))
• モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド
• Cプログラムの理解を支援するナビゲーション機能(開発支援(学生セッション))
• 構文解析器の開発支援環境(開発支援(学生セッション))
• 付箋によるコミュニケーション機能を備えたソフトウェアブラウザ
• オブジェクト指向言語のための細粒度システム依存グラフ
• 動作履歴を用いた焦点絞り込みによるプログラム理解
• 細粒度リポジトリに基づくVHDLツールプラットフォーム
• 前バージョンの整合性を用いた設計復元
• サンプルプログラム自動生成のためのリソースを考慮した依存グラフ
• 空欄補充問題の自動生成によるHaskellプログラミング学習支援環境
• テストプログラム生成ツールのフロントエンドプロセッサの開発
• マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
• テストプログラム生成ツールのフロントエンドプロセッサの開発
• マルチプロセッサ対応RTOS向けテストプログラム生成ツールにおけるプロセッサ間同期の実現
• 項集合書換え系の完備化について
• プログラム実行情報の視覚化による理解支援ツール
• 手続き型プログラムのオブジェクト指向化について
• CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ
• 抽象スレッドに基づくソースプログラムの依存解析の枠組の提案
• ハイパーテキストに基づいたソースプログラム・レビュー支援ツール
• 抽象ソフトウェアエレメントによるCASEツール開発のためのフレームワーク
• 部分評価を利用したプログラム部品抽出手法
• C言語における部分評価手法の提案とその実現
• B-024 Webサイト群の構造分析による典型的構造の抽出法(デジタルドキュメント・ソフトウェアサイエンス,B分野:ソフトウェア)
• ソフトウェア開発支援基盤のためのソースプログラムのXML表現(ソフトウェア工学,ソフトウェア基礎・応用論文)
• コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて
• コーディング規約違反の局所性に着目した自動検出不可能な違反の検出に向けて

もっと見る 閉じる

スポンサーリンク