PMAN - Paper management system

この検索内の頻出タグ: method^:5 programs^:3 analysis^:2 c^:2 comprehension^:2 software^:2 source^:2 understanding^:2 algorithmic^:1 analyzing^:1 assistant^:1 browser^:1 build^:1 case^:1 change^:1 concept^:1 construction^:1 contexts^:1 debugging^:1 detecting^:1 detection^:1 documents^:1 dynamic^:1 efficiency^:1 execution^:1 extraction^:1 feature^:1 files^:1 formal^:1 grammar^:1

105 件の該当がありました． : このページのURL : HTML

論文誌

[1] 藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, "プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出," コンピュータソフトウェア, volume 28, number 4, , pages 358-370 2011年.

[2] 竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎, "モデル検査における妥当性確認を目的とした並行システムの表現手法," コンピュータソフトウェア, volume 28, number 1, pages 293-299 2011年. [desc]

[3] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成法に基づくJavaScriptプログラム型検査の機械実行," 電子情報通信学会論文誌, volume J89-D, number 4, pages 693-704 2006年4月.

国内会議(査読付き)

[1] 山崎将史, 大久保弘崇, 粕谷英人, 山本晋一郎, "アルゴリズミックデバッグにおける正誤判定の効率化と半自動化," ソフトウェア工学の基礎XXIII, volume 42, pages 109-114 2016年12月.

[2] 永井郁哉, 大久保弘崇, 粕谷英人, 山本晋一郎, "ソフトウェア構築ログ解析器を用いたソースプログラム解析," ソフトウェアエンジニアリングシンポジウム2014論文集, volume 2014, pages 196-197 2014年8月.

[3] 竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, "大規模ソフトウェアの概要把握支援のための動的解析結果の静的解析を用いた一元化," ソフトウェアエンジニアリングシンポジウム2013論文集, volume 2013, pages 1-8 2013年9月.

[4] 永井郁哉, 大久保弘崇, 粕谷英人, 山本晋一郎, "実行履歴に基づくソフトウェア構築モデルの提案," ソフトウェアエンジニアリングシンポジウム2013論文集, volume 2013, pages 1-2 2013年9月.

[5] 藤崎洋子, 大久保弘崇, 粕谷英人, 山本晋一郎, "ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法," ソフトウェア工学の基礎XVI, volume 35, pages 305-312 2009年11月. [69.pdf]

[6] 竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎, "モデル検査における妥当性確認を目的とした並行システムの表現手法," ソフトウェア工学の基礎XVI, volume 35, pages 119-130 2009年11月. [70.pdf]

[7] 藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, "プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出," ソフトウェア工学の基礎XVI, volume 35, pages 73-84 2009年11月. [71.pdf]

[8] 加古径吾, 大久保弘祟, 粕谷英人, 山本晋一郎, 稲垣康善, "メソッド名とドキュメンテーションコメントの対応付け手法の提案," ソフトウェア工学の基礎IX, volume 33, pages 149--154 2007年11月. [59.pdf]

[9] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づくJavaScriptプログラムの型検査系の構築について," 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pages 77-88 2007年3月. [50.pdf]

[10] 高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, "XMLを用いたCASEツール・プラットフォーム作成支援環境," ソフトウェア工学の基礎XI, volume 30, pages 161--172 2004年11月. [56.pdf]

研究会・全国大会等

[1] 磯村亮太, 山本晋一郎, 大久保弘崇, 粕谷英人, トークンの品詞情報と周辺語による分散表現生成word2vecの表現性向上, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[2] 内山麟, 山本晋一郎, 大久保弘崇, 粕谷英人, GHCのコンパイル過程に現れる中間表現に関する研究, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[3] 榎本光, 山本晋一郎, 大久保弘崇, 粕谷英人, CNNとRNNにおける正規化手法BatchNormとLayerNormの性能比較, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[4] 眞田芽依, 山本晋一郎, 大久保弘崇, 粕谷英人, トイゲームを対象としたDeep Q-Networkの入力表現と報酬設計の検証, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[5] 梨木勝斗, 山本晋一郎, 大久保弘崇, 粕谷英人, 生成AIを用いた個別最適化プログラミング学習支援システム, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[6] 西遼太郎, 山本晋一郎, 大久保弘崇, 粕谷英人, SSA形式を利用した手続き型言語から関数型言語への変換に関する研究, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[7] 三輪彩芽, 山本晋一郎, 大久保弘崇, 粕谷英人, LangChainを用いた検索拡張生成(RAG)におけるシラバス情報の取得手法, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.

[8] 伊藤 菜摘, 山本晋一郎, 大久保弘崇, 粕谷英人, "言語モデルの理解促進のためのGPT-2内部構造の視覚化手法の比較," 第22回情報学ワークショップ, 2024年12月.

[9] 中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人, "大規模言語モデルにおけるCoq定理証明の学習手法に関する研究," 第22回情報学ワークショップ, 2024年12月.

[10] 横山 穂奏, 山本晋一郎, 大久保弘崇, 粕谷英人, "プロパティベーステストにおけるプロパティ作成支援の実現に向けた調査," 第22回情報学ワークショップ, 2024年12月.

[11] 神野 友輔, 山本晋一郎, 大久保弘崇, 粕谷英人, "Pythonコンパイラの性能比較とコンパイラの改善について," 第22回情報学ワークショップ, 2024年12月.

[12] 加藤 智子, 山本晋一郎, 大久保弘崇, 粕谷英人, "Algebraic Effectsを扱うHaskellライブラリの比較," 第22回情報学ワークショップ, 2024年12月.

[13] 西村 優基, 山本晋一郎, 大久保弘崇, 粕谷英人, "プログラミング演習における誤答分類のためのソースコードクラスタリングに関する研究," 第22回情報学ワークショップ, 2024年12月.

[14] 小池 雄大, 山本晋一郎, 大久保弘崇, 粕谷英人, "WebAssembly Component Model を用いた分散システムの提案," 第22回情報学ワークショップ, 2024年12月.

[15] 山田桃香, 大久保弘崇, 粕谷英人, 山本晋一郎, "関数型プログラミング言語に対する初学者に寄り添う型推論系," 情報処理学会研究報告, volume 2024-SE-216(14), pages 1-7 2024年3月.

[16] 横山 穂奏, 山本晋一郎, 大久保弘崇, 粕谷英人, ChatGPTによるプロパティベーステスト支援に関する研究, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.

[17] 中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人, ChatGPTを用いたPygameZeroアプリの対話的開発手法, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.

[18] 神野 友輔, 山本晋一郎, 大久保弘崇, 粕谷英人, ビジュアルプログラミング言語のためのChatGPTを用いたプログラミング初学者支援, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.

[19] 小池 雄大, 山本晋一郎, 大久保弘崇, 粕谷英人, WebAssemblyのソースマップ生成ツールの実装と評価, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.

[20] 加藤 智子, 山本晋一郎, 大久保弘崇, 粕谷英人, プログラミング言語KokaにおけるAlgebraic Effectsに関する研究, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.

[21] 黒野葵, 山本晋一郎, 大久保弘崇, 粕谷英人, 高校情報Ⅰ授業用Pythonプログラミング教材作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[22] 佐竹辰海, 山本晋一郎, 大久保弘崇, 粕谷英人, mdbookを用いたRustの演習付き入門コースを作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[23] 下川巧, 山本晋一郎, 大久保弘崇, 粕谷英人, データベースを用いたQUIXOの解析, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[24] 小出智也, 山本晋一郎, 大久保弘崇, 粕谷英人, プログラミング教育におけるテストケース問題作成の指針について, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[25] 新留七彩, 山本晋一郎, 大久保弘崇, 粕谷英人, Haskell 初学者の学習支援環境の構築, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[26] 遠藤圭人, 山本晋一郎, 大久保弘崇, 粕谷英人, ２命令を備えたコンピュータによる学習教材の作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[27] 横井翔, 山本晋一郎, 大久保弘崇, 粕谷英人, CSアンプラグドに基づいたプログラミング教材の提案, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.

[28] 山田桃香, 山本晋一郎, 大久保弘崇, 粕谷英人, "関数型プログラミング言語に対する型推論系に関する研究," 第20回情報学ワークショップ, 2022年12月.

[29] 西村殊音, 山本晋一郎, 大久保弘崇, 粕谷英人, "複数のプログラミング言語の比較による学習," 第20回情報学ワークショップ, 2022年12月.

[30] 冨久剛志, 大久保弘崇, 粕谷英人, 山本晋一郎, "ARTを用いたアルゴリズミックデバッグの効率化手法," 情報処理学会研究報告, volume 2022-SE-210, number 15, pages 1-6 2022年3月.

[31] 清永大地，山本晋一郎，大久保弘崇，粕谷英人, 入出力例をもとにした自動プログラミング手法の調査と改良, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022年.

[32] 山田桃香，山本晋一郎，大久保弘崇，粕谷英人, 関数型プログラミング言語に対する型推論系に関する研究, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022年.

[33] 高橋一斗, 大久保弘崇, 粕谷英人, 山本晋一郎, "Hoogleにおいて型クラスを候補として提示する関数検索手法," 第19回情報学ワークショップ, 2021年11月.

[34] 林大輝, 山本晋一郎, 大久保弘崇, 粕谷英人, "Haskellの型システムを用いた単位付き計算システムに関する研究," 第19回情報学ワークショップ, 2021年11月.

[35] 山田航，山本晋一郎，大久保弘崇，粕谷英人, Haskell 処理系 HiTS を用いたトレースによる学習支援, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.

[36] 中井舞人，山本晋一郎，大久保弘崇，粕谷英人, 深層学習を用いた自動プログラミング手法の改良, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.

[37] 加藤知樹，山本晋一郎，大久保弘崇，粕谷英人, Haskell を対象とした値コンストラクタへの関数注入によるトレース手法, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.

[38] 辻知希，山本晋一郎，大久保弘崇，粕谷英人, Xv6を対象としたOS内部情報のリアルタイム可視化, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.

[39] 伊東忠彦, 大久保弘崇, 粕谷英人, 山本晋一郎, "パーサコンビネータにおける網羅的なエラー報告候補集合の生成とそれに基づくエラー報告 ," 情報処理学会研究報告, volume 2020-SE-204, number 6, pages 1-8 2020年2月.

[40] 山田航, 大久保弘崇, 粕谷英人, 山本晋一郎, "Haskell処理系HiTSを用いたスペースリーク検出手法," ソフトウェア工学の基礎ⅩⅩⅤⅠ, volume 45, pages 201-202 2019年11月.

[41] 堀内哲熙, 大久保弘崇, 粕谷英人, 山本晋一郎, "Haskellプログラムへの状態モナドの自動挿入 ," 情報処理学会研究報告, volume 2018-SE-198, number 3, pages 1-8 2018年3月.

[42] 額田蓮, 大久保弘崇, 粕谷英人, 山本晋一郎, "再利用のためのWebページからのHTML/CSSテンプレート生成," 情報処理学会研究報告, volume 2018-SE-198, number 23, pages 1-8 2018年3月.

[43] 伊東忠彦, 大久保弘崇, 粕谷英人, 山本晋一郎, "コンビネータパーサによる構文解析器における言語指向のエラー報告," 情報処理学会研究報告, volume 2018-SE-198, number 20, pages 1-8 2018年3月.

[44] 山田誠也, 大久保弘崇, 粕谷英人, 山本晋一郎, "分岐カバレッジ向上を目的とした静的解析を用いたテストケース自動生成," 情報処理学会研究報告, volume 2017-SE-195, number 18, pages 1-8 2017年3月.

[45] 梅村葵, 大久保弘崇, 粕谷英人, 山本晋一郎, "ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェア修正法提示," 情報処理学会研究報告, volume 2015-SE-187, number 25, pages 1-8 2015年3月.

[46] 小島一成, 大久保弘崇, 粕谷英人, 山本晋一郎, "代数データ型によるC言語プログラムのモデル化," 情報処理学会研究報告, volume 2015-SE-187, number 24, pages 1-8 2015年3月.

[47] 伊藤達也, 大久保弘崇, 粕谷英人, 山本晋一郎, "コーディング規約検査器のための規約記述DSL," 情報処理学会研究報告, volume 2015-SE-187, number 2, pages 1-8 2015年3月.

[48] 大久保弘崇, 山本晋一郎, "ランダムテストを応用したプログラミング演習における答案の自動正誤判定機構," 情報処理学会第77回全国大会講演論文集, volume 4, pages 529-530 2015年3月.

[49] 前田高志, 大久保弘崇, 粕谷英人, 山本晋一郎, "多数の実例との照合による旋律に対するコード進行付与手法," 電子情報通信学会東海支部平成25年度卒業研究発表会論文集, page 25 2014年3月. [papers.pdf]

[50] 西村将広, 大久保弘崇, 粕谷英人, 山本晋一郎, "言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援," 電子情報通信学会東海支部平成25年度卒業研究発表会論文集, page 28 2014年3月. [papers.pdf]

[51] 伊東宥, 大久保弘崇, 粕谷英人, 山本晋一郎, "Haskellプログラムの学習支援を目的とした実行トレースの可視化手法," 電子情報通信学会東海支部平成25年度卒業研究発表会論文集, page 29 2014年3月. [papers.pdf]

[52] 丹羽一平, 大久保弘崇, 粕谷英人, 山本晋一郎, "APIの使用状況に基づく機能のグルーピングとそれを用いたソフトウェア自動分類," 情報処理学会研究報告, volume 2013-SE-179, number 3, pages 1-8 2013年3月.

[53] 竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, "大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け," 情報処理学会研究報告, volume 2013-SE-179, number 2, pages 1-8 2013年3月.

[54] 小長谷康治, 山本晋一郎, 大久保弘崇, 粕谷英人, "関数型言語を用いた宣言的な楽曲分析システム," 情報処理学会第74回全国大会講演論文集（第 2 分冊　人工知能と認知科学）, 2-339～2-340 2012年3月.

[55] 竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, "ソフトウェア理解支援のためのデータ構造の重要度評価手法," 情報処理学会第74回全国大会講演論文集（第 1 分冊　ソフトウェア科学・工学）, 1-345～1-346 2012年3月.

[56] 小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, "テキスト値出現位置に着目したXML文書のスキーマ変換器学習手法," 情報処理学会研究報告, volume 2011-PRO-87, number 4, pages 1-9 2012年1月.

[57] 東祐太朗, 粕谷英人, 大久保弘崇, 山本晋一郎, "Webサイト群の構造分析による典型的構造の抽出法," 第10回情報科学技術フォーラム(FIT2011)講演論文集, 第1分冊, B-024, pages 295-301 2011年9月. [desc]

[58] 竹内亮太郎, 大久保弘崇, 粕谷英人, 山本晋一郎, "空欄補充問題の自動生成によるHaskellプログラミング学習支援環境," 情報処理学会研究報告, volume 2011-SE-171, number 15 , 2011年3月. [desc]

[59] 藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, "サンプルプログラム自動生成のためのリソースを考慮した依存グラフ," 情報処理学会研究報告, volume 2011-SE-171, number 11, 2011年3月. [desc]

[60] 横山祐司, 日高隆博, 山本晋一郎, 小林隆志, 手嶋茂晴, 阿草清滋, "バリエーション並行開発のための版管理ツールと統合開発環境," , 2010年5月.

[61] 関文貴, 日高隆博, 山本晋一郎, 小林隆志, 手嶋茂晴, 阿草清滋, "制御ソフトウェアの固定小数点演算化ツールの設計と実装," , 2010年5月.

[62] 林英志, 日高隆博, 山本晋一郎, 小林隆志, 上原正太, 間瀬順一, 鈴村延保, 阿草清滋, "メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用," , 2010年5月.

[63] 大久保弘崇, 大須賀慎一, 山本晋一郎, "ソフトウェアの振舞いを演出して表現するプログラムプレゼンテーション," , 2008年11月. [68.pdf]

[64] 小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, "構造木の差分発見手法のパラメータ化に関する研究," 電気関係学会東海支部連合大会, volume O-404, 2008年9月.

[65] 堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, "動的解析を用いるCASEツールプラットフォームの情報取得について," 電気関係学会東海支部連合大会, volume O-266, 2008年9月. [desc]

[66] 近藤裕佑, 大久保弘崇, 粕谷英人, 山本晋一郎, "WebブラウザのCSSレンダリング妥当性検査手法の提案," 情報処理学会 第70回全国大会, 2008年3月. [65.pdf]

[67] 近藤裕佑, 大久保弘崇, 粕谷英人, 山本晋一郎, "Webサイト間のモーフィングによるWebデザイニング支援," 日本ソフトウェア科学会 第15回インタラクティブシステムとソフトウェアに関するワークショップ, volume 2007, number 53(ISSN 1341-870X), pages 173-174 2007年12月. [66.pdf]

[68] 堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, "リバースエンジニアリングによるUML をベースとした拡張シーケンス図の生成," 第6回情報科学技術フォーラム(FIT2007)講演論文集, 2007年10月. [53.pdf]

[69] 清崎大輔, 大久保弘崇, 粕谷英人, 山本晋一郎, "OSGiに基づく拡張可能ソフトウェアの動作情報取得手法," ソフトウェアエンジニアリング最前線 2007, pages 219-222 2007年8月. [60.pdf]

[70] 栗田健士, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, "形式的概念分析を用いたグルーピングによるCプログラム理解支援手法," 情報処理学会研究報告, 2007-SE-155, volume 2007, number 33, pages 151--158 2007年3月. [51.pdf]

[71] 小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, "構造の対応に基づいたXML文書のスキーマ変換器自動生成," 信学技報, volume 106, number 522, pages 1-6 2007年2月. [46.pdf]

[72] 堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, "UMLをベースとしたJavaプログラムの視覚化における手続き的処理部の表現について," 信学技報, volume 106, number 522, pages 43-48 2007年2月. [47.pdf]

[73] 栗田健士, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, "プログラム理解のためのCプログラムのモジュール化手法とその視覚化," 情報学ワークショップ2006(WiNF2006)論文集, number 4, pages 38--43 2006年9月. [42.pdf]

[74] 大須賀慎一, 大久保弘崇, 粕谷英人, 山本晋一郎, "Javaプログラムを対象とした動的解析リポジトリの自動生成," 情報学ワークショップ2006(WiNF2006)論文集, number 4, pages 34--37 2006年9月. [43.pdf]

[75] 高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, "構文木に着目してXMLマークアップされたソースプログラム間の差分抽出," 情報処理学会研究報告, 2006-SE-151, volume 2006, number 35, pages 41--48 2006年3月. [41.pdf]

[76] 小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, "帰納的学習を用いたXMLスキーマの統合に関する基礎的研究," 情報学ワークショップ2005(WiNF 2005)論文集, pages 46--51 2005年9月. [40.pdf]

[77] 高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, "カスタマイズ可能なコーディングチェッカー," 情報学ワークショップ2005(WiNF 2005)論文集, pages 39--45 2005年9月. [39.pdf]

[78] 堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, "Javaプログラムからのオブジェクトフローグラフの生成," 情報学ワークショップ2005(WiNF 2005)論文集, pages 25--31 2005年9月. [38.pdf]

[79] 沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎, "WebアノテーションとWeblogを統合した個人の情報発信メディア," 信学技報, number WI2-2005-11, pages 1--6 2005年3月. [37.pdf]

[80] 後藤英斗, 大久保弘崇, 粕谷英人, 山本晋一郎, "文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法," 情報処理学会研究報告, 2005-SE-147, volume 2005, number 29, pages 41--48 2005年3月. [36.pdf]

[81] 斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎, "ミューテーション法を用いたテストセット構成支援に関する研究," 情報処理学会研究報告, 2005-SE-147, volume 2005, number 29, pages 49--56 2005年3月. [35.pdf]

[82] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づく JavaScriptプログラム型検査のためのフロントエンド," 信学技報, volume 104, number 242(ISSN 0913-5685), pages 41--46 2004年8月. [2.pdf]

[83] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "形式的手法に基づく JavaScriptプログラムの型検査系の実現," 信学技報, volume 104, number 47(ISSN 0913-5685), pages 13--18 2004年5月. [3.pdf]

[84] 笠原史郎, 大久保弘崇, 粕谷英人, 山本晋一郎, "構文解析器の開発支援環境," 情報処理学会研究報告, 2004-SE-144, volume 2004, number 30, pages 55--60 2004年3月. [34.pdf]

[85] 太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎, "Cプログラムの理解を支援するナビゲーション機能," 情報処理学会研究報告, 2004-SE-144, volume 2004, number 30, pages 61--66 2004年3月. [32.pdf]

[86] 斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎, "ミューテーションスコアを利用したテストセット評価システム," ソフトウェアテストシンポジウム2004予稿集, pages 107--112 2004年1月.

[87] 太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎, "Cプログラムの理解を支援するナビゲーション機能," (予稿集なし) 日本産業科学学会中部部会報告, 2003年12月. [31.ppt]

[88] 大橋史武, 大久保弘崇, 粕谷英人, 山本晋一郎, "エピソード記憶に訴えるBookmarkless Bookmarkの実現," (予稿集なし) 日本産業科学学会中部部会報告, 2003年12月. [30.ppt]

[89] 太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎, "Cプログラムブラウズを支援するナビゲーション機能," 電気系学会東海支部連合大会講演論文集, page 265 2003年10月. [29.pdf]

[90] 大橋史武, 大久保弘崇, 粕谷英人, 山本晋一郎, "ブラウジング履歴に基づくBookmarkless Bookmarkの提案," 電気系学会東海支部連合大会講演論文集, page 263 2003年10月. [33.pdf]

[91] 沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎, "付箋によるコミュニケーション機能を備えたソフトウェアブラウザ," 信学技報, volume 103, number 189(SS2003-8), pages 13--18 2003年7月. [27.pdf]

[92] 大橋史武, 大久保弘崇, 粕谷英人, 山本晋一郎, "プログラム理解支援のための書籍モデルの提案とそれに基づくプログラムブラウザの実現," 電気系学会東海支部連合大会, page 264 2002年9月.