PMAN - Paper management system

Frequent tags in this search: method^:5 programs^:3 software^:3 analysis^:2 c^:2 comprehension^:2 execution^:2 source^:2 support^: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 development^:1 documents^:1 dynamic^:1 efficiency^:1 extensible^:1 extraction^:1 feature^:1

125 publications are found. : URL for this page. : HTML

Academic Journal

[1] 藤浦祥雅, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出," コンピュータソフトウェア, volume 28, number 4, , pages 358-370 2011.

[2] Ryotaro TAKEUCHI, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO, "モデル検査における妥当性確認を目的とした並行システムの表現手法," コンピュータソフトウェア, volume 28, number 1, pages 293-299 2011. [desc]

Domestic Conference

[1] Masashi Yamazaki, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "Improving Efficiency by Semi-Automatic Right/Wrong Judgement in the Algorithmic Debugging," ソフトウェア工学の基礎XXIII, volume 42, pages 109-114 December 2016.

[2] Ikuya NAGAI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "ソフトウェア構築ログ解析器を用いたソースプログラム解析," ソフトウェアエンジニアリングシンポジウム2014論文集, volume 2014, pages 196-197 August 2014.

[3] Isao TAKEJI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, 齋藤邦彦, "Summarization of Dynamic Analysis Result Using Static Analysis for Perspective Software Comprehension," ソフトウェアエンジニアリングシンポジウム2013論文集, volume 2013, pages 1-8 September 2013.

[4] Ikuya NAGAI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "Proposing the Software Build Model Based on Execution History," ソフトウェアエンジニアリングシンポジウム2013論文集, volume 2013, pages 1-2 September 2013.

[5] Yoko FUJISAKI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法," ソフトウェア工学の基礎XVI, volume 35, pages 305-312 November 2009. [69.pdf]

[6] Ryotaro TAKEUCHI, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO, "モデル検査における妥当性確認を目的とした並行システムの表現手法," ソフトウェア工学の基礎XVI, volume 35, pages 119-130 November 2009. [70.pdf]

[7] , , , , "プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出," ソフトウェア工学の基礎XVI, volume 35, pages 73-84 November 2009. [71.pdf]

[8] Kako Keigo, , , , , "メソッド名とドキュメンテーションコメントの対応付け手法の提案," ソフトウェア工学の基礎IX, volume 33, pages 149--154 November 2007. [59.pdf]

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

Workshop

[1] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, SpecKitを活用したLLMによる仕様駆動開発とプロンプト駆動開発の比較, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[2] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, 学習データのノイズが言語モデルの安定性に及ぼす影響の評価, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[3] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, トランスフォーマーのAttention機構に基づく解釈性向上に関する研究, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[4] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, HaskellにおけるExpression Problem解決手法の比較評価, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[5] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, 関数型言語におけるグラフ構造表現とアルゴリズム記述の検討, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[6] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, プロパティプロパティベーステスト学習支援を目的としたWeb教材の開発, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[7] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, 初等代数問題を対象としたLeanとCoqにおける自動証明タクティクの品質評価, 電子情報通信学会 東海支部 令和7年度 卒業研究発表会, 2026.

[8] Ryota Isomura, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, LLMによるコーディング能力の評価手法の検討(P3A-9), 第23回情報学ワークショップ, 2025.

[9] Rin Uchiyama, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, GHC のコンパイル過程に現れる中間表現の変換過程の可視化(P3A-13), 第23回情報学ワークショップ, 2025.

[10] Hikaru Enomoto, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, MCPによるRAGの選択的情報活用と応答妥当性の向上に関する研究(P3A-10), 第23回情報学ワークショップ, 2025.

[11] Ryotaro Nishi, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, 型推論可能な生成AIを用いたデバッグ支援に関する研究(P3A-12), 第23回情報学ワークショップ, 2025.

[12] Kodai Yamawaki, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, スネークゲームにおけるDQN学習の精度向上を目的とした状態情報と報酬設計の検討(P2B-16), 第23回情報学ワークショップ, 2025.

[13] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "CPythonのコア機能抽出による新規プログラミング言語開発基盤の提案," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[14] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "LLMによるCoq学習のためのデータセット形式," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[15] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "モデルマージを活用した小規模のプログラミング言語特化モデルの作成手法について," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[16] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "プログラミング演習における誤答分類のためのソースコードクラスタリング," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[17] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "連鎖的なサーバーレス関数呼び出しにおけるWebAssemblyとローカル通信を用いた応答速度の改善," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[18] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "Algebraic Effectsによる例外処理の抽象化と従来手法との比較," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[19] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "プロパティベーステストにおける木構造のテストケース生成支援," 第32回ソフトウェア工学の基礎ワークショップ, November 2025.

[20] , , , , トークンの品詞情報と周辺語による分散表現生成word2vecの表現性向上, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[21] , , , , GHCのコンパイル過程に現れる中間表現に関する研究, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[22] , , , , CNNとRNNにおける正規化手法BatchNormとLayerNormの性能比較, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[23] , , , , トイゲームを対象としたDeep Q-Networkの入力表現と報酬設計の検証, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[24] , , , , 生成AIを用いた個別最適化プログラミング学習支援システム, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[25] , , , , SSA形式を利用した手続き型言語から関数型言語への変換に関する研究, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[26] , , , , LangChainを用いた検索拡張生成(RAG)におけるシラバス情報の取得手法, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025.

[27] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "言語モデルの理解促進のためのGPT-2内部構造の視覚化手法の比較," 第22回情報学ワークショップ, December 2024.

[28] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "大規模言語モデルにおけるCoq定理証明の学習手法に関する研究," 第22回情報学ワークショップ, December 2024.

[29] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "プロパティベーステストにおけるプロパティ作成支援の実現に向けた調査," 第22回情報学ワークショップ, December 2024.

[30] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "Pythonコンパイラの性能比較とコンパイラの改善について," 第22回情報学ワークショップ, December 2024.

[31] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "Algebraic Effectsを扱うHaskellライブラリの比較," 第22回情報学ワークショップ, December 2024.

[32] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "プログラミング演習における誤答分類のためのソースコードクラスタリングに関する研究," 第22回情報学ワークショップ, December 2024.

[33] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "WebAssembly Component Model を用いた分散システムの提案," 第22回情報学ワークショップ, December 2024.

[34] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "関数型プログラミング言語に対する初学者に寄り添う型推論系," 情報処理学会研究報告, volume 2024-SE-216(14), pages 1-7 March 2024.

[35] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "ソースコードの生成を目的とした大規模言語モデルに対する学習データセット," 情報処理学会研究報告, volume 2024-SE-216(6), pages 1-8 March 2024.

[36] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "ソフトウェア開発のためのオープンソースLLMのファインチューニング," 情報処理学会研究報告, volume 2024-SE-216(5), pages 1-7 March 2024.

[37] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "プログラミング演習の指導におけるChatGPTを用いたプログラム修正ヒントの提案," 情報処理学会研究報告, volume 2024-SE-216(4), pages 1-8 March 2024.

[38] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, ChatGPTによるプロパティベーステスト支援に関する研究, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024.

[39] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, ChatGPTを用いたPygameZeroアプリの対話的開発手法, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024.

[40] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, ビジュアルプログラミング言語のためのChatGPTを用いたプログラミング初学者支援, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024.

[41] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, WebAssemblyのソースマップ生成ツールの実装と評価, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024.

[42] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, プログラミング言語KokaにおけるAlgebraic Effectsに関する研究, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024.

[43] , Hideto Kasuya, Hirotaka Ohkubo, Shinichiro Yamamoto, "Haskell初学者の学習支援環境のための型推論系," 第30回ソフトウェア工学の基礎ワークショップ, November 2023.

[44] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "型情報を用いたHoogle検索の使用性の向上," 研究報告ソフトウェア工学（SE）, volume 2023-SE-213(13), pages 1-7 March 2023.

[45] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "関数仕様を用いたプロパティ合成手法に関する研究," 研究報告ソフトウェア工学（SE）, volume 2023-SE-213(14), pages 1-8 March 2023.

[46] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, 高校情報Ⅰ授業用Pythonプログラミング教材作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[47] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, mdbookを用いたRustの演習付き入門コースを作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[48] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, データベースを用いたQUIXOの解析, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[49] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, プログラミング教育におけるテストケース問題作成の指針について, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[50] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, Haskell 初学者の学習支援環境の構築, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[51] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, ２命令を備えたコンピュータによる学習教材の作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[52] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, CSアンプラグドに基づいたプログラミング教材の提案, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023.

[53] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "関数型プログラミング言語に対する型推論系に関する研究," 第20回情報学ワークショップ, December 2022.

[54] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "複数のプログラミング言語の比較による学習," 第20回情報学ワークショップ, December 2022.

[55] , , , , "ARTを用いたアルゴリズミックデバッグの効率化手法," 情報処理学会研究報告, volume 2022-SE-210, number 15, pages 1-6 March 2022.

[56] , 入出力例をもとにした自動プログラミング手法の調査と改良, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022.

[57] , 関数型プログラミング言語に対する型推論系に関する研究, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022.

[58] , Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "Hoogleにおいて型クラスを候補として提示する関数検索手法," 第19回情報学ワークショップ, November 2021.

[59] , Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya, "Haskellの型システムを用いた単位付き計算システムに関する研究," 第19回情報学ワークショップ, November 2021.

[60] , Haskell 処理系 HiTS を用いたトレースによる学習支援, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020.

[61] , 深層学習を用いた自動プログラミング手法の改良, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020.

[62] , Haskell を対象とした値コンストラクタへの関数注入によるトレース手法, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020.

[63] , Xv6を対象としたOS内部情報のリアルタイム可視化, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020.

[64] , , , , "Haskellを対象とした値コンストラクタへの関数注入によるトレース手法," 第22回プログラミングおよびプログラミング言語ワークショップ, March 2020.

[65] , , , , "パーサコンビネータにおける網羅的なエラー報告候補集合の生成とそれに基づくエラー報告 ," 情報処理学会研究報告, volume 2020-SE-204, number 6, pages 1-8 February 2020.

[66] Wataru Yamada, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "A Method of Detecting Space Leak," ソフトウェア工学の基礎ⅩⅩⅤⅠ, volume 45, pages 201-202 November 2019.

[67] , , , , "プログラミング演習における自動正誤判定の精度向上を目的とするミューテーション手法," 情報処理学会研究報告, volume 2019-SE-201, number 7, pages 1-8 March 2019.

[68] , , , , "Haskellを対象とした先行評価を模したトレースの実現手法," 情報処理学会研究報告, volume 2019-SE-201, number 5, pages 1-7 March 2019.

[69] , , , , "Haskellプログラムへの状態モナドの自動挿入 ," 情報処理学会研究報告, volume 2018-SE-198, number 3, pages 1-8 March 2018.

[70] , , , , "再利用のためのWebページからのHTML/CSSテンプレート生成," 情報処理学会研究報告, volume 2018-SE-198, number 23, pages 1-8 March 2018.

[71] , , , , "コンビネータパーサによる構文解析器における言語指向のエラー報告," 情報処理学会研究報告, volume 2018-SE-198, number 20, pages 1-8 March 2018.

[72] , , , , "分岐カバレッジ向上を目的とした静的解析を用いたテストケース自動生成," 情報処理学会研究報告, volume 2017-SE-195, number 18, pages 1-8 March 2017.

[73] , , , , "ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェア修正法提示," 情報処理学会研究報告, volume 2015-SE-187, number 25, pages 1-8 March 2015.

[74] , , , , "代数データ型によるC言語プログラムのモデル化," 情報処理学会研究報告, volume 2015-SE-187, number 24, pages 1-8 March 2015.

[75] , , , , "コーディング規約検査器のための規約記述DSL," 情報処理学会研究報告, volume 2015-SE-187, number 2, pages 1-8 March 2015.

[76] , , , , "多数の実例との照合による旋律に対するコード進行付与手法," 電子情報通信学会東海支部平成25年度卒業研究発表会論文集, page 25 March 2014. [papers.pdf]

[77] , , , , "言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援," 電子情報通信学会東海支部平成25年度卒業研究発表会論文集, page 28 March 2014. [papers.pdf]

[78] , , , , "Haskellプログラムの学習支援を目的とした実行トレースの可視化手法," 電子情報通信学会東海支部平成25年度卒業研究発表会論文集, page 29 March 2014. [papers.pdf]

[79] , , , , "APIの使用状況に基づく機能のグルーピングとそれを用いたソフトウェア自動分類," 情報処理学会研究報告, volume 2013-SE-179, number 3, pages 1-8 March 2013.

[80] , , , , , "大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け," 情報処理学会研究報告, volume 2013-SE-179, number 2, pages 1-8 March 2013.

[81] , , , , "関数型言語を用いた宣言的な楽曲分析システム," 情報処理学会第74回全国大会講演論文集（第 2 分冊　人工知能と認知科学）, 2-339～2-340 March 2012.

[82] , , , , , "ソフトウェア理解支援のためのデータ構造の重要度評価手法," 情報処理学会第74回全国大会講演論文集（第 1 分冊　ソフトウェア科学・工学）, 1-345～1-346 March 2012.

[83] , , , , "テキスト値出現位置に着目したXML文書のスキーマ変換器学習手法," 情報処理学会研究報告, volume 2011-PRO-87, number 4, pages 1-9 January 2012.

[84] Yutaro Higashi, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO, "An Extraction Method for Typical Structure by Analyzing Structure of Web Sites," 第10回情報科学技術フォーラム(FIT2011)講演論文集, 第1分冊, B-024, pages 295-301 September 2011. [desc]

[85] Ryotaro Takeuchi, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "空欄補充問題の自動生成によるHaskellプログラミング学習支援環境," 情報処理学会研究報告, volume 2011-SE-171, number 15 , March 2011. [desc]

[86] Yoshimasa Fujiura, Hirotaka Ohkubo, Hideto Kasuya, Hideto Kasuya, "サンプルプログラム自動生成のためのリソースを考慮した依存グラフ," 情報処理学会研究報告, volume 2011-SE-171, number 11, March 2011. [desc]

[87] Junpei OGAWA, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO, "構造木の差分発見手法のパラメータ化に関する研究," 電気関係学会東海支部連合大会, volume O-404, September 2008.

[88] HOTTA Yoshihiko, OHKUBO Hirotaka, KASUYA Hideto, YAMAMOTO Sinichiro, SAITO Kunihiko, "動的解析を用いるCASEツールプラットフォームの情報取得について," 電気関係学会東海支部連合大会, volume O-266, September 2008. [desc]

[89] Daisuke Kiyosaki, Hirotaka Ohkubo, Hideto Kasuya, ShinichirouYamamoto, "Plugin Development Support Using Execution Information on Extensible Software," 情報処理学会研究報告, 2008-SE-159, volume 2008, number 29, pages 25-32 March 2008. [67.pdf]

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

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

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

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

[94] Takeshi KURITA, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, Kunihiko SAITO, "A Supporting Method for Understanding C Programs with Grouping Via Formal Concept Analysis," 情報処理学会研究報告, 2007-SE-155, volume 2007, number 33, pages 151--158 March 2007. [51.pdf]

[95] Junpei OGAWA, Hideto KASUYA, Hirotaka OHKUBO, Shinchiro YAMAMOTO, "構造の対応に基づいたXML文書のスキーマ変換器自動生成," 信学技報, volume 106, number 522, pages 1-6 February 2007. [46.pdf]

[96] Yoshihiko HOTTA, Hideto KASUYA, Hirotaka OHKUBO, Shinchiro YAMAMOTO, Kunihiko Saito, "UMLをベースとしたJavaプログラムの視覚化における手続き的処理部の表現について," 信学技報, volume 106, number 522, pages 43-48 February 2007. [47.pdf]

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

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

[99] Tooru TAKAHASHI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "Change Detection for Case Tool of Markup Language for Source Program," 情報処理学会研究報告, 2006-SE-151, volume 2006, number 35, pages 41--48 March 2006. [41.pdf]

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

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

[102] Yoshihiko HOTTA Hirotaka OHKUBO Hideto KASUYA Shinichirou YAMAMOTO Kunihiko SAITO, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, "Javaプログラムからのオブジェクトフローグラフの生成," 情報学ワークショップ2005(WiNF 2005)論文集, pages 25--31 September 2005. [38.pdf]

[103] Youhei SAWADA Hirotaka OHKUBO Hideto KASUYA Shinichirou YAMAMOTO, 大久保弘崇, 粕谷英人, 山本晋一郎, "WebアノテーションとWeblogを統合した個人の情報発信メディア," 信学技報, number WI2-2005-11, pages 1--6 March 2005. [37.pdf]

[104] Hideto GOTO, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "A Method for Relating Identifiers between Source Programs and Documents Using Their Contexts," 情報処理学会研究報告, 2005-SE-147, volume 2005, number 29, pages 41--48 March 2005. [36.pdf]

[105] Takashi SAITO, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "Test Set Construction Method Based on Mutation Testing," 情報処理学会研究報告, 2005-SE-147, volume 2005, number 29, pages 49--56 March 2005. [35.pdf]

[106] Shiro Kasahara, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "The Interactive Browser and Comprehension Assistant for Yacc Grammar Files," 情報処理学会研究報告, 2004-SE-144, volume 2004, number 30, pages 55--60 March 2004. [34.pdf]

[107] Yosuke Ohta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, "The Navigation Feature to Support Understanding C Programs," 情報処理学会研究報告, 2004-SE-144, volume 2004, number 30, pages 61--66 March 2004. [32.pdf]

[108] Takasi SAITO Hideto KASUYA Hirotaka OHKUBO Shinichiro YAMAMOTO, 大久保弘崇, 粕谷英人, 山本晋一郎, "ミューテーションスコアを利用したテストセット評価システム," ソフトウェアテストシンポジウム2004予稿集, pages 107--112 January 2004.

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

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

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

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

[113] Youhei SAWADA, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, "付箋によるコミュニケーション機能を備えたソフトウェアブラウザ," 信学技報, volume 103, number 189(SS2003-8), pages 13--18 July 2003. [27.pdf]

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