PMAN - Paper management system

BibTeX list of works

@article{id98,
         title = {プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出},
        author = {藤浦祥雅 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {コンピュータソフトウェア},
        volume = {28},
        number = {4, },
         pages = {358-370},
         month = {0},
          year = {2011},
}

@article{id91,
         title = {モデル検査における妥当性確認を目的とした並行システムの表現手法},
        author = {竹内亮太郎 and  粕谷英人 and  大久保弘崇 and  山本晋一郎},
       journal = {コンピュータソフトウェア},
        volume = {28},
        number = {1},
         pages = {293-299},
         month = {0},
          year = {2011},
}

@article{id22,
         title = {モデル生成法に基づくJavaScriptプログラム型検査の機械実行},
        author = {大久保弘崇 and 山本晋一郎 and 坂部俊樹 and 稲垣康善},
       journal = {電子情報通信学会論文誌},
        volume = {J89-D},
        number = {4},
         pages = {693-704},
         month = {4},
          year = {2006},
        annote = {論文は http://www.aichi-pu.ac.jp/ist/~ohkubo/study.ja.html を参照してください},
}

@article{id99,
         title = {Synergistic Use of Both Static and Dynamic Information to Generate Reversed UML Diagrams for Better Software Understanding},
        author = {Yoshihiko Hotta and Hirotaka Ohkubo and Hideto Kasuya and Shinichiro Yamamoto and Kunihiko Saito},
       journal = {The 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)},
         month = {11},
          year = {2011},
}

@article{id45,
         title = {Interactive Program Modularization for Software　Undeｒstanding via Formal Concept  Analysis},
        author = {Kunihiko Saito and Takeshi Kurita and Shinichiro Yamamoto},
       journal = {Fourth International Conference On Concept Lattices and Their Applications},
         pages = {303--310},
         month = {10},
          year = {2006},
}

@inproceedings{id176,
         title = {アルゴリズミックデバッグにおける正誤判定の効率化と半自動化},
        author = {山崎将史 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {ソフトウェア工学の基礎XXIII},
        volume = {42},
         pages = {109-114},
    organization = {日本ソフトウェア科学会 },
         month = {12},
          year = {2016},
}

@article{id134,
         title = {ソフトウェア構築ログ解析器を用いたソースプログラム解析},
        author = {永井郁哉 and  大久保弘崇 and  粕谷英人 and  山本晋一郎},
       journal = {ソフトウェアエンジニアリングシンポジウム2014論文集},
        volume = {2014},
         pages = {196-197},
         month = {8},
          year = {2014},
}

@article{id124,
         title = {実行履歴に基づくソフトウェア構築モデルの提案},
        author = {永井郁哉 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {ソフトウェアエンジニアリングシンポジウム2013論文集},
        volume = {2013},
         pages = {1-2},
         month = {9},
          year = {2013},
}

@article{id123,
         title = {大規模ソフトウェアの概要把握支援のための動的解析結果の静的解析を用いた一元化},
        author = {竹治勲 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦},
       journal = {ソフトウェアエンジニアリングシンポジウム2013論文集},
        volume = {2013},
         pages = {1-8},
         month = {9},
          year = {2013},
}

@article{id77,
         title = {モデル検査における妥当性確認を目的とした並行システムの表現手法},
        author = {竹内亮太郎 and 粕谷英人 and 大久保弘崇 and 山本晋一郎},
       journal = {ソフトウェア工学の基礎XVI},
        volume = {35},
         pages = {119-130},
         month = {11},
          year = {2009},
          note = {FOSE 2009},
        annote = {箱根湯本温泉　 ホテルおかだ},
}

@article{id76,
         title = {ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法},
        author = {藤崎洋子 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {ソフトウェア工学の基礎XVI},
        volume = {35},
         pages = {305-312},
         month = {11},
          year = {2009},
          note = {FOSE 2009},
        annote = {箱根湯本温泉　 ホテルおかだ},
}

@inproceedings{id78,
         title = {プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出},
        author = {藤浦祥雅 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {ソフトウェア工学の基礎XVI},
        volume = {35},
         pages = {73-84},
         month = {11},
          year = {2009},
}

@article{id57,
         title = {メソッド名とドキュメンテーションコメントの対応付け手法の提案},
        author = {加古径吾 and 大久保弘祟 and 粕谷英人 and 山本晋一郎 and 稲垣康善},
       journal = {ソフトウェア工学の基礎IX},
        volume = {33},
         pages = {149--154},
         month = {11},
          year = {2007},
          note = {FOSE 2007},
        annote = {東京第一ホテル下関},
}

@inproceedings{id52,
         title = {モデル生成に基づくJavaScriptプログラムの型検査系の構築について},
        author = {大久保弘崇 and 山本晋一郎 and 坂部俊樹 and 稲垣康善},
     booktitle = {第9回プログラミングおよびプログラミング言語ワークショップ論文集},
         pages = {77-88},
    organization = {日本ソフトウェア科学会プログラミング論研究会},
         month = {3},
          year = {2007},
          note = {瑠璃光 (石川県加賀市山代温泉)},
}

@inproceedings{id56,
         title = {XMLを用いたCASEツール・プラットフォーム作成支援環境},
        author = {高橋透 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {ソフトウェア工学の基礎XI},
        volume = {30},
         pages = {161--172},
    organization = {日本ソフトウェア科学会 },
         month = {11},
          year = {2004},
          note = {FOSE 2004},
        annote = {伊勢志摩ロイヤルホテル},
}

@unpublished{id349,
         title = {GHC のコンパイル過程に現れる中間表現の変換過程の可視化(P3A-13)},
        author = {内山麟 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {12},
          year = {2025},
          note = {第23回情報学ワークショップ},
}

@unpublished{id352,
         title = {スネークゲームにおけるDQN学習の精度向上を目的とした状態情報と報酬設計の検討(P2B-16)},
        author = {山脇功大 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {12},
          year = {2025},
          note = {第23回情報学ワークショップ},
}

@unpublished{id350,
         title = {MCPによるRAGの選択的情報活用と応答妥当性の向上に関する研究(P3A-10)},
        author = {榎本光 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {12},
          year = {2025},
          note = {第23回情報学ワークショップ},
}

@unpublished{id348,
         title = {LLMによるコーディング能力の評価手法の検討(P3A-9)},
        author = {磯村亮太 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {12},
          year = {2025},
          note = {第23回情報学ワークショップ},
}

@unpublished{id351,
         title = {型推論可能な生成AIを用いたデバッグ支援に関する研究(P3A-12)},
        author = {西遼太郎 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {12},
          year = {2025},
          note = {第23回情報学ワークショップ},
}

@inproceedings{id341,
         title = {LLMによるCoq学習のためのデータセット形式},
        author = {中川 海都 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@inproceedings{id342,
         title = {モデルマージを活用した小規模のプログラミング言語特化モデルの作成手法について},
        author = {伊藤 菜摘 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@inproceedings{id345,
         title = {Algebraic Effectsによる例外処理の抽象化と従来手法との比較},
        author = {加藤 智子 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@inproceedings{id344,
         title = {連鎖的なサーバーレス関数呼び出しにおけるWebAssemblyとローカル通信を用いた応答速度の改善},
        author = {小池 雄大 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@inproceedings{id346,
         title = {プロパティベーステストにおける木構造のテストケース生成支援},
        author = {横山 穂奏 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@inproceedings{id340,
         title = {CPythonのコア機能抽出による新規プログラミング言語開発基盤の提案},
        author = {神野 友輔 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@inproceedings{id343,
         title = {プログラミング演習における誤答分類のためのソースコードクラスタリング},
        author = {西村 優基 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第32回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2025},
}

@unpublished{id339,
         title = { Exploring Large Language Models for Coq Theorem Proving},
        author = {H. Kasuya and  K. Nakagawa and  H. Ohkubo and  S. Yamamamoto},
         month = {9},
          year = {2025},
          note = {62nd TRS Meeting, Aichi Prefectural University},
}

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

@unpublished{id332,
         title = {GHCのコンパイル過程に現れる中間表現に関する研究},
        author = {内山麟 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2025},
          note = {電子情報通信学会 東海支部 令和6年度 卒業研究発表会},
}

@unpublished{id335,
         title = {生成AIを用いた個別最適化プログラミング学習支援システム},
        author = {梨木勝斗 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2025},
          note = {電子情報通信学会 東海支部 令和6年度 卒業研究発表会},
}

@unpublished{id333,
         title = {CNNとRNNにおける正規化手法BatchNormとLayerNormの性能比較},
        author = {榎本光 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2025},
          note = {電子情報通信学会 東海支部 令和6年度 卒業研究発表会},
}

@unpublished{id334,
         title = {トイゲームを対象としたDeep Q-Networkの入力表現と報酬設計の検証},
        author = {眞田芽依 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2025},
          note = {電子情報通信学会 東海支部 令和6年度 卒業研究発表会},
}

@unpublished{id331,
         title = {トークンの品詞情報と周辺語による分散表現生成word2vecの表現性向上},
        author = {磯村亮太 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2025},
          note = {電子情報通信学会 東海支部 令和6年度 卒業研究発表会},
}

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

@inproceedings{id318,
         title = {大規模言語モデルにおけるCoq定理証明の学習手法に関する研究},
        author = {中川 海都 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id317,
         title = {言語モデルの理解促進のためのGPT-2内部構造の視覚化手法の比較},
        author = {伊藤 菜摘 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id321,
         title = {Algebraic Effectsを扱うHaskellライブラリの比較},
        author = {加藤 智子 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id323,
         title = {WebAssembly Component Model を用いた分散システムの提案},
        author = {小池 雄大 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id319,
         title = {プロパティベーステストにおけるプロパティ作成支援の実現に向けた調査},
        author = {横山 穂奏 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id320,
         title = {Pythonコンパイラの性能比較とコンパイラの改善について},
        author = {神野 友輔 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id322,
         title = {プログラミング演習における誤答分類のためのソースコードクラスタリングに関する研究},
        author = {西村 優基 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第22回情報学ワークショップ},
         month = {12},
          year = {2024},
}

@inproceedings{id315,
         title = {ソフトウェア開発のためのオープンソースLLMのファインチューニング},
        author = {伊藤 菜摘 and 大久保 弘崇 and 粕谷 英人 and 山本 晋一郎},
     booktitle = {情報処理学会研究報告},
        volume = {2024-SE-216(5)},
         pages = {1-7},
         month = {3},
          year = {2024},
}

@inproceedings{id300,
         title = {関数型プログラミング言語に対する初学者に寄り添う型推論系},
        author = {山田桃香 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会研究報告},
        volume = {2024-SE-216(14)},
         pages = {1-7},
         month = {3},
          year = {2024},
}

@inproceedings{id314,
         title = {ソースコードの生成を目的とした大規模言語モデルに対する学習データセット},
        author = {池田 竜之介 and 山本 晋一郎 and 大久保 弘崇 and 粕谷 英人},
     booktitle = {情報処理学会研究報告},
        volume = {2024-SE-216(6)},
         pages = {1-8},
         month = {3},
          year = {2024},
}

@inproceedings{id316,
         title = {プログラミング演習の指導におけるChatGPTを用いたプログラム修正ヒントの提案},
        author = {西村 優基 and 大久保 弘崇 and 粕谷 英人 and 山本 晋一郎},
     booktitle = {情報処理学会研究報告},
        volume = {2024-SE-216(4)},
         pages = {1-8},
         month = {3},
          year = {2024},
}

@unpublished{id310,
         title = {ChatGPTを用いたPygameZeroアプリの対話的開発手法},
        author = {中川 海都 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2024},
          note = {電子情報通信学会 東海支部 令和５年度 卒業研究発表会},
}

@unpublished{id313,
         title = {プログラミング言語KokaにおけるAlgebraic Effectsに関する研究},
        author = {加藤 智子 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2024},
          note = {電子情報通信学会 東海支部 令和５年度 卒業研究発表会},
}

@unpublished{id312,
         title = {WebAssemblyのソースマップ生成ツールの実装と評価},
        author = {小池 雄大 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2024},
          note = {電子情報通信学会 東海支部 令和５年度 卒業研究発表会},
}

@unpublished{id309,
         title = {ChatGPTによるプロパティベーステスト支援に関する研究},
        author = {横山 穂奏 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2024},
          note = {電子情報通信学会 東海支部 令和５年度 卒業研究発表会},
}

@unpublished{id311,
         title = {ビジュアルプログラミング言語のためのChatGPTを用いたプログラミング初学者支援},
        author = {神野 友輔 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2024},
          note = {電子情報通信学会 東海支部 令和５年度 卒業研究発表会},
}

@inproceedings{id347,
         title = {Haskell初学者の学習支援環境のための型推論系},
        author = {山田 桃香 and 粕谷英人 and 大久保弘崇 and 山本晋一郎},
     booktitle = {第30回ソフトウェア工学の基礎ワークショップ},
         month = {11},
          year = {2023},
}

@inproceedings{id298,
         title = {関数仕様を用いたプロパティ合成手法に関する研究},
        author = {石関 祐輝 and 大久保 弘崇 and 粕谷 英人 and 山本 晋一郎},
     booktitle = {研究報告ソフトウェア工学（SE）},
        volume = {2023-SE-213(14)},
         pages = {1-8},
         month = {3},
          year = {2023},
}

@inproceedings{id297,
         title = {型情報を用いたHoogle検索の使用性の向上},
        author = {高橋 一斗 and 大久保 弘崇 and 粕谷 英人 and 山本 晋一郎},
     booktitle = {研究報告ソフトウェア工学（SE）},
        volume = {2023-SE-213(13)},
         pages = {1-7},
         month = {3},
          year = {2023},
}

@unpublished{id292,
         title = {データベースを用いたQUIXOの解析},
        author = {下川巧 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2023},
          note = {電子情報通信学会 東海支部 令和４年度 卒業研究発表会},
}

@unpublished{id291,
         title = {mdbookを用いたRustの演習付き入門コースを作成},
        author = {佐竹辰海 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2023},
          note = {電子情報通信学会 東海支部 令和４年度 卒業研究発表会},
}

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

@unpublished{id294,
         title = {Haskell 初学者の学習支援環境の構築},
        author = {新留七彩 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2023},
          note = {電子情報通信学会 東海支部 令和４年度 卒業研究発表会},
}

@unpublished{id296,
         title = {CSアンプラグドに基づいたプログラミング教材の提案},
        author = {横井翔 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2023},
          note = {電子情報通信学会 東海支部 令和４年度 卒業研究発表会},
}

@unpublished{id295,
         title = {２命令を備えたコンピュータによる学習教材の作成},
        author = {遠藤圭人 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2023},
          note = {電子情報通信学会 東海支部 令和４年度 卒業研究発表会},
}

@unpublished{id290,
         title = {高校情報Ⅰ授業用Pythonプログラミング教材作成},
        author = {黒野葵 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
         month = {0},
          year = {2023},
          note = {電子情報通信学会 東海支部 令和４年度 卒業研究発表会},
}

@inproceedings{id281,
         title = {関数型プログラミング言語に対する型推論系に関する研究},
        author = {山田桃香 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第20回情報学ワークショップ},
         month = {12},
          year = {2022},
}

@inproceedings{id282,
         title = {複数のプログラミング言語の比較による学習},
        author = {西村殊音 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第20回情報学ワークショップ},
         month = {12},
          year = {2022},
}

@article{id269,
         title = {ARTを用いたアルゴリズミックデバッグの効率化手法},
        author = {冨久剛志 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2022-SE-210},
        number = {15},
         pages = {1-6},
         month = {3},
          year = {2022},
}

@unpublished{id280,
         title = {関数型プログラミング言語に対する型推論系に関する研究},
        author = {山田桃香，山本晋一郎，大久保弘崇，粕谷英人},
         month = {0},
          year = {2022},
          note = {電子情報通信学会 東海支部 令和３年度 卒業研究発表会},
}

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

@inproceedings{id268,
         title = {Haskellの型システムを用いた単位付き計算システムに関する研究},
        author = {林大輝 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
     booktitle = {第19回情報学ワークショップ},
         month = {11},
          year = {2021},
}

@inproceedings{id265,
         title = {関数の実装に対するプロパティ付加作業の支援手法に関する研究},
        author = {石関祐輝},
     booktitle = {第19回情報学ワークショップ},
         month = {11},
          year = {2021},
}

@inproceedings{id17,
         title = {Hoogleにおいて型クラスを候補として提示する関数検索手法},
        author = {高橋一斗 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {第19回情報学ワークショップ},
         month = {11},
          year = {2021},
}

@unpublished{id248,
         title = {深層学習を用いた自動プログラミング手法の改良},
        author = {中井舞人，山本晋一郎，大久保弘崇，粕谷英人},
         month = {9},
          year = {2020},
          note = {令和二年度 電気・電子・情報関係学会 東海支部連合大会},
}

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

@unpublished{id247,
         title = {Haskell 処理系 HiTS を用いたトレースによる学習支援},
        author = {山田航，山本晋一郎，大久保弘崇，粕谷英人},
         month = {9},
          year = {2020},
          note = {令和二年度 電気・電子・情報関係学会 東海支部連合大会},
}

@unpublished{id250,
         title = {Xv6を対象としたOS内部情報のリアルタイム可視化},
        author = {辻知希，山本晋一郎，大久保弘崇，粕谷英人},
         month = {9},
          year = {2020},
          note = {令和二年度 電気・電子・情報関係学会 東海支部連合大会},
}

@inproceedings{id232,
         title = {Haskellを対象とした値コンストラクタへの関数注入によるトレース手法},
        author = {加藤 知樹 and  大久保 弘崇 and  粕谷 英人 and  山本 晋一郎},
     booktitle = {第22回プログラミングおよびプログラミング言語ワークショップ},
         month = {3},
          year = {2020},
}

@article{id234,
         title = {パーサコンビネータにおける網羅的なエラー報告候補集合の生成とそれに基づくエラー報告 },
        author = {伊東忠彦 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2020-SE-204},
        number = {6},
         pages = {1-8},
         month = {2},
          year = {2020},
}

@inproceedings{id231,
         title = {深層学習を用いた自動プログラミング手法の評価},
        author = {中井舞人},
     booktitle = {第17回情報学ワークショップ},
         month = {11},
          year = {2019},
}

@inproceedings{id230,
         title = {コンビネータパーサにおける型付きエラー報告に関する研究},
        author = {伊東忠彦},
     booktitle = {第17回情報学ワークショップ},
         month = {11},
          year = {2019},
}

@inproceedings{id229,
         title = {バージョン管理システムにおける適切なコミットメッセージの作成支援},
        author = {堀内哲煕},
     booktitle = {第17回情報学ワークショップ},
         month = {11},
          year = {2019},
}

@inproceedings{id228,
         title = {Haskell処理系HiTSを用いたスペースリーク検出手法},
        author = {山田航 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {ソフトウェア工学の基礎ⅩⅩⅤⅠ},
        volume = {45},
         pages = {201-202},
    organization = {日本ソフトウェア科学会},
         month = {11},
          year = {2019},
          note = {ライブ論文ポスター発表賞受賞},
}

@article{id225,
         title = {プログラミング演習における自動正誤判定の精度向上を目的とするミューテーション手法},
        author = {中井 舞人 and 山本 晋一郎 and 粕谷 英人 and 大久保 弘崇},
       journal = {情報処理学会研究報告},
        volume = {2019-SE-201},
        number = {7},
         pages = {1-8},
         month = {3},
          year = {2019},
}

@article{id224,
         title = {Haskellを対象とした先行評価を模したトレースの実現手法},
        author = {加藤 知樹 and 大久保 弘崇 and 粕谷英人 and 山本 晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2019-SE-201},
        number = {5},
         pages = {1-7},
         month = {3},
          year = {2019},
}

@article{id227,
         title = {深層学習を用いた自動プログラミング手法の評価},
        author = {中村博輝},
       journal = {電子情報通信学会東海支部平成30年度卒業研究発表会論文集},
         month = {3},
          year = {2019},
        annote = {愛知県立大学(愛知県)},
}

@article{id226,
         title = {関数型言語を用いたOSの実装手法の評価},
        author = {村上大樹},
       journal = {電子情報通信学会東海支部平成30年度卒業研究発表会論文集},
         month = {3},
          year = {2019},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id213,
         title = {コンビネータパーサにおける型付きエラー報告に関する研究},
        author = {伊東忠彦},
     booktitle = {第16回情報学ワークショップ},
         month = {11},
          year = {2018},
}

@inproceedings{id214,
         title = {バージョン管理システムにおける適切なコミットメッセージの作成支援},
        author = {堀内哲煕},
     booktitle = {第16回情報学ワークショップ},
         month = {11},
          year = {2018},
}

@inproceedings{id215,
         title = {Haskellのスペースリークに関する研究},
        author = {若杉知樹},
     booktitle = {第16回情報学ワークショップ},
         month = {11},
          year = {2018},
}

@article{id208,
         title = {Haskellプログラムへの状態モナドの自動挿入 },
        author = {堀内哲熙 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2018-SE-198},
        number = {3},
         pages = {1-8},
         month = {3},
          year = {2018},
}

@article{id209,
         title = {再利用のためのWebページからのHTML/CSSテンプレート生成},
        author = {額田蓮 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2018-SE-198},
        number = {23},
         pages = {1-8},
         month = {3},
          year = {2018},
}

@article{id207,
         title = {コンビネータパーサによる構文解析器における言語指向のエラー報告},
        author = {伊東忠彦 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2018-SE-198},
        number = {20},
         pages = {1-8},
         month = {3},
          year = {2018},
}

@inproceedings{id210,
         title = {ユーザによる既存分類に基づくナイーブベイズを用いた文書分類ツール},
        author = {中洲利基},
     booktitle = {電子情報通信学会東海支部平成29年度卒業研究発表会論文集},
         month = {3},
          year = {2018},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id212,
         title = {誤解答事例を利用した Haskell 演習における初学者へのフィードバック手法},
        author = {安田省太郎},
     booktitle = {電子情報通信学会東海支部平成29年度卒業研究発表会論文集},
         month = {3},
          year = {2018},
}

@inproceedings{id211,
         title = {ランダムテストを用いた近似的同値性検証によるライブラリ関数再定義の検出},
        author = {山田裕太},
     booktitle = {電子情報通信学会東海支部平成29年度卒業研究発表会論文集},
         month = {3},
          year = {2018},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id190,
         title = {リアクティブプログラミングを対象としたコード理解のための可視化手法},
        author = { 有田進作},
     booktitle = {第15回情報学ワークショップ},
         month = {11},
          year = {2017},
}

@inproceedings{id189,
         title = {機械学習を用いたソースコード整形手法},
        author = {内山鷹介},
     booktitle = {第15回情報学ワークショップ},
         month = {11},
          year = {2017},
}

@inproceedings{id187,
         title = {部分関数を対象とした例外処理挿入手法},
        author = {山﨑將史},
     booktitle = {第15回情報学ワークショップ},
         month = {11},
          year = {2017},
}

@inproceedings{id191,
         title = {Haskellにおける評価戦略最適化のフィードバック},
        author = {若杉知樹},
     booktitle = {第15回情報学ワークショップ},
         month = {11},
          year = {2017},
}

@inproceedings{id192,
         title = {再利用を目的としたWebページにおける指定領域の抽出手法},
        author = {額田蓮},
     booktitle = {第15回情報学ワークショップ},
         month = {11},
          year = {2017},
}

@article{id193,
         title = {分岐カバレッジ向上を目的とした静的解析を用いたテストケース自動生成},
        author = {山田誠也 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2017-SE-195},
        number = {18},
         pages = {1-8},
         month = {3},
          year = {2017},
}

@inproceedings{id169,
         title = {JavaScriptを実装言語としたHaskellのサブセット言語の実装},
        author = {内山鷹介},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id174,
         title = {機能の対応関係に基づくJavaScriptライブラリ移行手法},
        author = {山下公希},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id173,
         title = {アルゴリズミックデバッグにおける正誤判定の効率化・半自動化},
        author = {山崎將史},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id168,
         title = {WebフレームワークSnapにおけるHTMLテンプレートエンジンの機能拡張},
        author = {有田進作},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id170,
         title = {初学者のための高階関数に着目したHaskellソースコード可視化手法},
        author = {粟野頁多},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id171,
         title = {誤答から正解への修正事例を利用した初学者のための支援ツール},
        author = {谷口雅明},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id175,
         title = {関数型言語に対する高階関数を含むライブラリ関数の振舞い検索},
        author = {近藤司},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@inproceedings{id172,
         title = {既存Webページ群からのビジュアルスニペットの抽出とそれを用いたWebデザインの生成手法},
        author = {額田蓮},
     booktitle = {電子情報通信学会東海支部平成27年度卒業研究発表会論文集},
         month = {3},
          year = {2016},
        annote = {愛知県立大学(愛知県)},
}

@article{id152,
         title = {ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェア修正法提示},
        author = {梅村葵 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2015-SE-187},
        number = {25},
         pages = {1-8},
         month = {3},
          year = {2015},
}

@article{id151,
         title = {代数データ型によるC言語プログラムのモデル化},
        author = {小島一成 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2015-SE-187},
        number = {24},
         pages = {1-8},
         month = {3},
          year = {2015},
}

@article{id150,
         title = {コーディング規約検査器のための規約記述DSL},
        author = {伊藤達也 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2015-SE-187},
        number = {2},
         pages = {1-8},
         month = {3},
          year = {2015},
}

@article{id153,
         title = {ランダムテストを応用したプログラミング演習における答案の自動正誤判定機構},
        author = {大久保弘崇 and 山本晋一郎},
       journal = {情報処理学会第77回全国大会講演論文集},
        volume = {4},
         pages = {529-530},
         month = {3},
          year = {2015},
        annote = {京都大学},
}

@inproceedings{id149,
         title = {実例の分析結果の基づくコンパイルエラーに対する改善案の提示手法},
        author = {小林健太},
     booktitle = {電子情報通信学会東海支部平成26年度卒業研究発表会論文集},
         month = {3},
          year = {2015},
        annote = {豊橋技術科学大学(愛知県)},
}

@inproceedings{id143,
         title = {プログラミング演習における解答の構文に基づく自動判別手法},
        author = {山田誠也},
     booktitle = {電子情報通信学会東海支部平成26年度卒業研究発表会論文集},
         month = {3},
          year = {2015},
        annote = {豊橋技術科学大学(愛知県)},
}

@inproceedings{id148,
         title = {プログラミング演習の誤答分類による適応的アドバイスの提示},
        author = {新川綾子},
     booktitle = {電子情報通信学会東海支部平成26年度卒業研究発表会論文集},
         month = {3},
          year = {2015},
        annote = {豊橋技術科学大学(愛知県)},
}

@article{id132,
         title = {Haskellプログラムの学習支援を目的とした実行トレースの可視化手法},
        author = {伊東宥 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {電子情報通信学会東海支部平成25年度卒業研究発表会論文集},
         pages = {29},
         month = {3},
          year = {2014},
        annote = {三重大学(三重県)},
}

@article{id130,
         title = {多数の実例との照合による旋律に対するコード進行付与手法},
        author = {前田高志 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {電子情報通信学会東海支部平成25年度卒業研究発表会論文集},
         pages = {25},
         month = {3},
          year = {2014},
        annote = {三重大学(三重県)},
}

@article{id131,
         title = {言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援},
        author = {西村将広 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {電子情報通信学会東海支部平成25年度卒業研究発表会論文集},
         pages = {28},
         month = {3},
          year = {2014},
        annote = {三重大学(三重県)},
}

@article{id122,
         title = {APIの使用状況に基づく機能のグルーピングとそれを用いたソフトウェア自動分類},
        author = {丹羽一平 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2013-SE-179},
        number = {3},
         pages = {1-8},
         month = {3},
          year = {2013},
}

@article{id121,
         title = {大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け},
        author = {竹治勲 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦},
       journal = {情報処理学会研究報告},
        volume = {2013-SE-179},
        number = {2},
         pages = {1-8},
         month = {3},
          year = {2013},
}

@article{id106,
         title = {関数型言語を用いた宣言的な楽曲分析システム},
        author = {小長谷康治 and 山本晋一郎 and 大久保弘崇 and 粕谷英人},
       journal = {情報処理学会第74回全国大会講演論文集（第 2 分冊　人工知能と認知科学）},
         pages = {2-339～2-340},
         month = {3},
          year = {2012},
          note = {名古屋工業大学},
}

@article{id107,
         title = {ソフトウェア理解支援のためのデータ構造の重要度評価手法},
        author = {竹治勲 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦},
       journal = {情報処理学会第74回全国大会講演論文集（第 1 分冊　ソフトウェア科学・工学）},
         pages = {1-345～1-346},
         month = {3},
          year = {2012},
}

@article{id108,
         title = {テキスト値出現位置に着目したXML文書のスキーマ変換器学習手法},
        author = {小川順平 and  粕谷英人 and  大久保弘崇 and  山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2011-PRO-87},
        number = {4},
         pages = {1-9},
         month = {1},
          year = {2012},
}

@inproceedings{id97,
         title = {Webサイト群の構造分析による典型的構造の抽出法},
        author = {東祐太朗 and 粕谷英人 and 大久保弘崇 and 山本晋一郎},
     booktitle = {第10回情報科学技術フォーラム(FIT2011)講演論文集, 第1分冊, B-024},
         pages = {295-301},
         month = {9},
          year = {2011},
}

@article{id95,
         title = {空欄補充問題の自動生成によるHaskellプログラミング学習支援環境},
        author = {竹内亮太郎 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2011-SE-171},
        number = {15 },
         month = {3},
          year = {2011},
}

@article{id96,
         title = {サンプルプログラム自動生成のためのリソースを考慮した依存グラフ},
        author = {藤浦祥雅 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {情報処理学会研究報告},
        volume = {2011-SE-171},
        number = {11},
         month = {3},
          year = {2011},
}

@misc{id84,
         title = {メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用},
        author = {林英志 and 日高隆博 and 山本晋一郎 and 小林隆志 and 上原正太 and 間瀬順一 and 鈴村延保 and 阿草清滋},
         month = {5},
          year = {2010},
          note = {口頭発表 国立情報学研究},
        annote = {情報処理学会 第167回 ソフトウェア工学研究会},
}

@misc{id82,
         title = {バリエーション並行開発のための版管理ツールと統合開発環境},
        author = {横山祐司 and 日高隆博 and 山本晋一郎 and 小林隆志 and 手嶋茂晴 and 阿草清滋},
         month = {5},
          year = {2010},
          note = {口頭発表 国立情報学研究所},
        annote = {情報処理学会 第167回 ソフトウェア工学研究会},
}

@misc{id83,
         title = {制御ソフトウェアの固定小数点演算化ツールの設計と実装},
        author = {関文貴 and  日高隆博 and  山本晋一郎 and  小林隆志 and  手嶋茂晴 and  阿草清滋},
         month = {5},
          year = {2010},
          note = {口頭発表 国立情報学研究所},
        annote = {情報処理学会 第167回 ソフトウェア工学研究会},
}

@misc{id71,
         title = {ソフトウェアの振舞いを演出して表現するプログラムプレゼンテーション},
        author = {大久保弘崇 and 大須賀慎一 and 山本晋一郎},
         month = {11},
          year = {2008},
          note = {ポスター発表 淡路夢舞台国際会議場},
        annote = {FOSE2008},
}

@inproceedings{id70,
         title = {動的解析を用いるCASEツールプラットフォームの情報取得について},
        author = {堀田吉彦 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 斉藤邦彦},
     booktitle = {電気関係学会東海支部連合大会},
        volume = {O-266},
         month = {9},
          year = {2008},
}

@inproceedings{id69,
         title = {構造木の差分発見手法のパラメータ化に関する研究},
        author = {小川順平 and 粕谷英人 and 大久保弘崇 and 山本晋一郎},
     booktitle = {電気関係学会東海支部連合大会},
        volume = {O-404},
    organization = {電子情報通信学会東海支部},
     publisher = {電子情報通信学会東海支部},
         month = {9},
          year = {2008},
}

@inproceedings{id61,
         title = {拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援},
        author = {清崎 大輔 and 大久保 弘崇 and 粕谷 英人 and 山本 晋一郎},
     booktitle = {情報処理学会研究報告, 2008-SE-159},
        volume = {2008},
        number = {29},
         pages = {25-32},
         month = {3},
          year = {2008},
}

@inproceedings{id59,
         title = {WebブラウザのCSSレンダリング妥当性検査手法の提案},
        author = {近藤裕佑 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会 第70回全国大会},
    organization = {情報処理学会},
         month = {3},
          year = {2008},
}

@article{id60,
         title = {Webサイト間のモーフィングによるWebデザイニング支援},
        author = {近藤裕佑 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
       journal = {日本ソフトウェア科学会 第15回インタラクティブシステムとソフトウェアに関するワークショップ},
        volume = {2007},
        number = {53(ISSN 1341-870X)},
         pages = {173-174},
         month = {12},
          year = {2007},
          note = {WISS2007},
        annote = {長崎ハウステンボス},
}

@inproceedings{id55,
         title = {リバースエンジニアリングによるUML をベースとした拡張シーケンス図の生成},
        author = {堀田吉彦 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 斉藤邦彦},
     booktitle = {第6回情報科学技術フォーラム(FIT2007)講演論文集},
         month = {10},
          year = {2007},
}

@inproceedings{id58,
         title = {OSGiに基づく拡張可能ソフトウェアの動作情報取得手法},
        author = {清崎大輔 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {ソフトウェアエンジニアリング最前線 2007},
         pages = {219-222},
         month = {8},
          year = {2007},
          note = {ポスターセッション．},
}

@article{id53,
         title = {形式的概念分析を用いたグルーピングによるCプログラム理解支援手法},
        author = {栗田健士 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦},
       journal = {情報処理学会研究報告, 2007-SE-155},
        volume = {2007},
        number = {33},
         pages = {151--158},
         month = {3},
          year = {2007},
}

@article{id46,
         title = {構造の対応に基づいたXML文書のスキーマ変換器自動生成},
        author = {小川順平 and 粕谷英人 and 大久保弘崇 and 山本晋一郎},
       journal = {信学技報},
        volume = {106},
        number = {522},
         pages = {1-6},
         month = {2},
          year = {2007},
          note = {愛知県立大学},
}

@inproceedings{id48,
         title = {UMLをベースとしたJavaプログラムの視覚化における手続き的処理部の表現について},
        author = {堀田吉彦 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦},
     booktitle = {信学技報},
        volume = {106},
        number = {522},
         pages = {43-48},
         month = {2},
          year = {2007},
          note = {愛知県立大学},
}

@inproceedings{id21,
         title = {Javaプログラムを対象とした動的解析リポジトリの自動生成},
        author = {大須賀慎一 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報学ワークショップ2006(WiNF2006)論文集},
        number = {4},
         pages = {34--37},
         month = {9},
          year = {2006},
}

@inproceedings{id20,
         title = {プログラム理解のためのCプログラムのモジュール化手法とその視覚化},
        author = {栗田健士 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦},
     booktitle = {情報学ワークショップ2006(WiNF2006)論文集},
        number = {4},
         pages = {38--43},
         month = {9},
          year = {2006},
}

@inproceedings{id16,
         title = {構文木に着目してXMLマークアップされたソースプログラム間の差分抽出},
        author = {高橋透 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会研究報告, 2006-SE-151},
        volume = {2006},
        number = {35},
         pages = {41--48},
         month = {3},
          year = {2006},
        annote = {化学会館(東京都)},
}

@inproceedings{id15,
         title = {Javaプログラムからのオブジェクトフローグラフの生成},
        author = {堀田吉彦 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 斉藤邦彦},
     booktitle = {情報学ワークショップ2005(WiNF 2005)論文集},
         pages = {25--31},
         month = {9},
          year = {2005},
        annote = {愛知県立大学},
}

@inproceedings{id13,
         title = {帰納的学習を用いたXMLスキーマの統合に関する基礎的研究},
        author = {小川順平 and 粕谷英人 and 大久保弘崇 and 山本晋一郎},
     booktitle = {情報学ワークショップ2005(WiNF 2005)論文集},
         pages = {46--51},
         month = {9},
          year = {2005},
        annote = {愛知県立大学},
}

@inproceedings{id14,
         title = {カスタマイズ可能なコーディングチェッカー},
        author = {高橋透 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報学ワークショップ2005(WiNF 2005)論文集},
         pages = {39--45},
         month = {9},
          year = {2005},
        annote = {愛知県立大学 ※奨励賞受賞},
}

@inproceedings{id10,
         title = {WebアノテーションとWeblogを統合した個人の情報発信メディア},
        author = {沢田洋平 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {信学技報},
        number = {WI2-2005-11},
         pages = {1--6},
         month = {3},
          year = {2005},
        annote = { 大阪大学},
}

@inproceedings{id11,
         title = {文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法},
        author = {後藤英斗 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会研究報告, 2005-SE-147},
        volume = {2005},
        number = {29},
         pages = {41--48},
         month = {3},
          year = {2005},
        annote = {東洋大学},
}

@inproceedings{id12,
         title = {ミューテーション法を用いたテストセット構成支援に関する研究},
        author = {斉藤孝志 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会研究報告, 2005-SE-147},
        volume = {2005},
        number = {29},
         pages = {49--56},
         month = {3},
          year = {2005},
        annote = {東洋大学},
}

@inproceedings{id18,
         title = {モデル生成に基づく JavaScriptプログラム型検査のためのフロントエンド},
        author = {大久保弘崇 and 山本晋一郎 and 坂部俊樹 and 稲垣康善},
     booktitle = {信学技報},
        volume = {104},
        number = {242(ISSN 0913-5685)},
         pages = {41--46},
         month = {8},
          year = {2004},
}

@inproceedings{id19,
         title = {形式的手法に基づく JavaScriptプログラムの型検査系の実現},
        author = {大久保弘崇 and 山本晋一郎 and 坂部俊樹 and 稲垣康善},
     booktitle = {信学技報},
        volume = {104},
        number = {47(ISSN 0913-5685)},
         pages = {13--18},
         month = {5},
          year = {2004},
          note = {会津大学, SIGSS},
}

@inproceedings{id9,
         title = {Cプログラムの理解を支援するナビゲーション機能},
        author = {太田洋介 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会研究報告, 2004-SE-144},
        volume = {2004},
        number = {30},
         pages = {61--66},
         month = {3},
          year = {2004},
        annote = {化学会館(東京都)},
}

@inproceedings{id8,
         title = {構文解析器の開発支援環境},
        author = {笠原史郎 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {情報処理学会研究報告, 2004-SE-144},
        volume = {2004},
        number = {30},
         pages = {55--60},
         month = {3},
          year = {2004},
        annote = {化学会館(東京都)},
}

@inproceedings{id7,
         title = {ミューテーションスコアを利用したテストセット評価システム},
        author = {斉藤孝志 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {ソフトウェアテストシンポジウム2004予稿集},
         pages = {107--112},
         month = {1},
          year = {2004},
        annote = {東京コンファレンスセンター品川(東京都)},
}

@inproceedings{id6,
         title = {エピソード記憶に訴えるBookmarkless Bookmarkの実現},
        author = {大橋史武 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {(予稿集なし) 日本産業科学学会中部部会報告},
         month = {12},
          year = {2003},
        annote = {名城大学(愛知県)},
}

@inproceedings{id5,
         title = {Cプログラムの理解を支援するナビゲーション機能},
        author = {太田洋介 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {(予稿集なし) 日本産業科学学会中部部会報告},
         month = {12},
          year = {2003},
        annote = {名城大学(愛知県)},
}

@inproceedings{id4,
         title = {ブラウジング履歴に基づくBookmarkless Bookmarkの提案},
        author = {大橋史武 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {電気系学会東海支部連合大会講演論文集},
         pages = {263},
         month = {10},
          year = {2003},
        annote = {名古屋大学(愛知県)},
}

@inproceedings{id3,
         title = {Cプログラムブラウズを支援するナビゲーション機能},
        author = {太田洋介 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {電気系学会東海支部連合大会講演論文集},
         pages = {265},
         month = {10},
          year = {2003},
        annote = {名古屋大学(愛知県)},
}

@inproceedings{id2,
         title = {付箋によるコミュニケーション機能を備えたソフトウェアブラウザ},
        author = {沢田洋平 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {信学技報},
        volume = {103},
        number = {189(SS2003-8)},
         pages = {13--18},
         month = {7},
          year = {2003},
        annote = {ウェスティンホテル淡路(兵庫県)},
}

@inproceedings{id1,
         title = {プログラム理解支援のための書籍モデルの提案とそれに基づくプログラムブラウザの実現},
        author = {大橋史武 and 大久保弘崇 and 粕谷英人 and 山本晋一郎},
     booktitle = {電気系学会東海支部連合大会},
         pages = {264},
         month = {9},
          year = {2002},
}

@unpublished{id363,
         title = {学習データのノイズが言語モデルの安定性に及ぼす影響の評価},
        author = {中島伊織},
         month = {0},
          year = {2026},
          note = {愛知県立大学},
}

@unpublished{id361,
         title = {HaskellにおけるExpression Problem解決手法の比較評価},
        author = {中谷優斗},
         month = {0},
          year = {2026},
          note = {愛知県立大学},
}

@unpublished{id362,
         title = {トランスフォーマーのAttention機構に基づく解釈性向上に関する研究},
        author = {伊藤悠真},
         month = {0},
          year = {2026},
          note = {愛知県立大学},
}

@unpublished{id360,
         title = {SpecKitを活用したLLMによる仕様駆動開発とプロンプト駆動開発の比較},
        author = {佐藤聖真},
         month = {0},
          year = {2026},
          note = {愛知県立大学},
}

@unpublished{id330,
         title = {LangChainを用いた検索拡張生成(RAG)におけるシラバス情報の取得手法},
        author = {三輪彩芽},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id325,
         title = {GHCのコンパイル過程に現れる中間表現に関する研究},
        author = {内山麟},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id338,
         title = {オセロを対象としたルールを与えないディープラーニングの学習パラメータと性能の関係についての研究},
        author = {山脇功大},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id328,
         title = {生成AIを用いた個別最適化プログラミング学習支援システム},
        author = {梨木勝斗},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id326,
         title = {CNNとRNNにおける正規化手法BatchNormとLayerNormの性能比較},
        author = {榎本光},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id327,
         title = {トイゲームを対象としたDeep Q-Networkの入力表現と報酬設計の検証},
        author = {眞田芽依},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id324,
         title = {トークンの品詞情報と周辺語による分散表現生成word2vecの表現性向上},
        author = {磯村亮太},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id329,
         title = {SSA形式を利用した手続き型言語から関数型言語への変換に関する研究},
        author = {西遼太郎},
         month = {0},
          year = {2025},
          note = {愛知県立大学},
}

@unpublished{id301,
         title = {ソースコードの生成を目的とした大規模言語モデルに対する学習データセット},
        author = {池田 竜之介},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id306,
         title = {ChatGPTを用いたPygameZeroアプリの対話的開発手法},
        author = {中川 海都},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id302,
         title = {ソフトウェア開発のためのオープンソースLLMのファインチューニング},
        author = {伊藤 菜摘},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id303,
         title = {プログラミング言語KokaにおけるAlgebraic Effectsに関する研究},
        author = {加藤 智子},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id304,
         title = {WebAssemblyのソースマップ生成ツールの実装と評価},
        author = {小池 雄大},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id308,
         title = {ChatGPTによるプロパティベーステスト支援に関する研究},
        author = {横山 穂奏},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id305,
         title = {ビジュアルプログラミング言語のためのChatGPTを用いたプログラミング初学者支援},
        author = {神野 友輔},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id307,
         title = {プログラミング演習の指導におけるChatGPTを用いたプログラム修正ヒントの提案},
        author = {西村 優基},
         month = {0},
          year = {2024},
          note = {愛知県立大学},
}

@unpublished{id283,
         title = {高校情報Ⅰ授業用Pythonプログラミング教材作成},
        author = {黒野葵},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id285,
         title = {データベースを用いたQUIXOの解析},
        author = {下川巧},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id284,
         title = {mdbookを用いたRustの演習付き入門コースを作成},
        author = {佐竹辰海},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id286,
         title = {プログラミング教育におけるテストケース問題作成の指針について},
        author = {小出智也},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id287,
         title = {Haskell初学者の学習支援環境の構築},
        author = {新留七彩},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id289,
         title = {CSアンプラグドに基づいたプログラミング教材の提案},
        author = {横井翔},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id288,
         title = {２命令を備えたコンピュータによる学習教材の作成},
        author = {遠藤圭人},
         month = {0},
          year = {2023},
          note = {愛知県立大学},
}

@unpublished{id272,
         title = {Haskellを用いたWebサーバの評価},
        author = {吉澤康太},
         month = {0},
          year = {2022},
          note = {愛知県立大学卒業論文},
}

@unpublished{id273,
         title = {初学者を対象としたデバッグ作業のためのプログラム動作の可視化},
        author = {奥山郁未},
         month = {0},
          year = {2022},
          note = {愛知県立大学卒業論文},
}

@unpublished{id270,
         title = {関数型プログラミング言語に対する型推論系に関する研究},
        author = {山田桃香},
         month = {0},
          year = {2022},
          note = {愛知県立大学卒業論文},
}

@unpublished{id275,
         title = {コーティングの自動化に関する調査},
        author = {杉本昂樹},
         month = {0},
          year = {2022},
          note = {愛知県立大学卒業論文},
}

@unpublished{id271,
         title = {入出力例をもとにした自動プログラミング手法の調査と改良},
        author = {清永大地},
         month = {0},
          year = {2022},
          note = {愛知県立大学卒業論文},
}

@unpublished{id274,
         title = {文書検索における補助検索ワードの提示ツールに関する研究},
        author = {長江佑磨},
         month = {0},
          year = {2022},
          note = {愛知県立大学卒業論文},
}

@unpublished{id254,
         title = {LSTMを用いたジャズの譜面によるアドリブ演奏者判別手法},
        author = {山住凌史},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id252,
         title = {初学者向けコンパイラHeliumのエラーメッセージの調査と改良},
        author = {岩下華穂},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id255,
         title = {ゲームを対象とした関数型および命令型プログラミング言語の記述性の比較},
        author = {林大輝},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id253,
         title = {Haskell初学者を対象としたプログラムの効率比較のための可視化環境},
        author = {渡邉悠太},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id264,
         title = {機械学習を用いたコード進行に基づくメロディの自動作曲手法},
        author = {片瀬修},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id251,
         title = {純粋関数型プログラミングで開発できるGUIフレームワーク},
        author = {石関祐輝},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id258,
         title = {コミュニケーション支援ボードアプリを対象としたソフトウェアテスト},
        author = {鈴木皓大},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id256,
         title = {初学者のためのHaskellの数値型を対象とした自動型補完手法},
        author = {高橋一斗},
         month = {0},
          year = {2021},
          note = {愛知県立大学},
}

@unpublished{id233,
         title = {機械学習を用いたメソッドの命名手法の評価},
        author = {冨久剛志},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id241,
         title = {CodeWorldを用いたプログラミング初学者用教育コンテンツ作成},
        author = {酒井正太},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id244,
         title = {計算機を用いた講義を対象とする教育支援手法の提案},
        author = {井土雄太},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id239,
         title = {MIPSを対象としたコンパイラ教育支援環境},
        author = {國廣伸志},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id238,
         title = {行列ゲームの完全解析を行うライブラリの開発},
        author = {松原真},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id240,
         title = {QRコードの画像処理による位置情報取得技術},
        author = {桂川昂己},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id246,
         title = {Javaの学習支援を目的とした自習用コースウェアの提案},
        author = {櫻井拓斗},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id245,
         title = {Xv6を対象としたOS内部情報のリアルタイム可視化},
        author = {辻知希},
         month = {0},
          year = {2020},
          note = {愛知県立大学},
}

@unpublished{id221,
         title = {プログラミング演習における自動正誤判定のための ミューテーション手法},
        author = {中井舞人},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id217,
         title = {深層学習を用いた自動プログラミング手法の評価},
        author = {中村博輝},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id218,
         title = {Haskellと対象とした先行評価を模したトレースの実現手法},
        author = {加藤知樹},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id216,
         title = {Web ブラウザ上で動作する拡張可能な Haskell 処理系},
        author = {山田航},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id219,
         title = {関数型言語を用いたOSの実装手法の評価},
        author = {村上大樹},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id220,
         title = {Processingを対象とした初学者プログラミング教育のコンテンツ評価},
        author = {森野紘平},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id222,
         title = {練習問題自動生成ステムの改良に関する論文},
        author = {若山敦裕},
         month = {0},
          year = {2019},
          note = {愛知県立大学},
}

@unpublished{id195,
         title = {ユーザによる既存分類に基づくナイーブベイズを用いた文書分類ツール},
        author = {中洲利基},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id196,
         title = {コンビネータパーサによる構文解析器における言語指向のエラー報告},
        author = {伊東忠彦},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id201,
         title = {Haskellプログラムへの状態モナドの自動挿入},
        author = {堀内哲煕},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id200,
         title = {誤回答事例を利用したHaskell演習における初学者へのフィードバック手法},
        author = {安田省太郎},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id197,
         title = {Computer Science Unpluggedを用いた基礎知識学習支援},
        author = {安田翔哉},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id198,
         title = {ランダムテストを用いた近似的同値性検証によるライブラリ関数再定義の検出},
        author = {山田裕太},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id199,
         title = {プログラム読解力を身につけるための学習法の提案},
        author = {稲熊亮介},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id202,
         title = {留学生のためのプログラミング言語学習支援ツール},
        author = {章雲森},
         month = {0},
          year = {2018},
          note = {愛知県立大学},
}

@unpublished{id183,
         title = {ウェブメインコンテンツのレイアウトに依存しない抽出手法},
        author = {レーホンミン},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id177,
         title = {言語ランタイム開発ツールキットOMRの評価および考察},
        author = {井野天斗},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id178,
         title = {文書検索を支援する補助検索ワードの提示手法},
        author = {加藤惠三},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id181,
         title = {Haskell初学者のためのブラウザで動作するTurtleグラフィクス},
        author = {平田義就},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id184,
         title = {Haskellにおける型推論可能な単位付き演算},
        author = {若杉知樹},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id182,
         title = {プログラミング演習における学習支援のためのヒント機能提案},
        author = {長尾隼多},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id179,
         title = {e-Learning演習における学習意欲を刺激するリアルタイム解答状況提示},
        author = {長谷川拓哉},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id180,
         title = {プログラミング教育用言語Sunabaのプレイグラウンド環境},
        author = {黒河聡},
         month = {0},
          year = {2017},
          note = {愛知県立大学},
}

@unpublished{id160,
         title = {JavaScriptを実装言語としたHaskellのサブセット言語の実装},
        author = {内山鷹介},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id164,
         title = {機能の対応関係に基づくJavaScriptライブラリ移行手法},
        author = {山下公希},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id163,
         title = {アルゴリズミックデバッグにおける正誤判定の効率化・半自動化},
        author = {山崎將史},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id158,
         title = {WebフレームワークSnapにおけるHTMLテンプレートエンジンの機能拡張},
        author = {有田進作},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id159,
         title = {初学者のための高階関数に着目したHaskellソースコード可視化手法},
        author = {粟野頁多},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id161,
         title = {誤答から正解への修正事例を利用した初学者のための支援ツール},
        author = {谷口雅明},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id165,
         title = {関数型言語に対する高階関数を含むライブラリ関数の振舞い検索},
        author = {近藤司},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id162,
         title = {既存Webページ群からのビジュアルスニペットの抽出とそれを用いたWebデザインの生成手法},
        author = {額田蓮},
         month = {0},
          year = {2016},
          note = {愛知県立大学},
}

@unpublished{id154,
         title = {Moodleを用いたeラーニングコンテンツの制作},
        author = {安藤貴哉},
         month = {2},
          year = {2014},
          note = {愛知県立大学},
}

@unpublished{id138,
         title = {{抽象度の高い記述を可能にする代数データ型によるC言語ソースのモデルの提案}},
        author = {小嶋一成},
         month = {0},
          year = {2014},
          note = {愛知県立大学},
}

@unpublished{id137,
         title = {{実例の分析結果の基づくコンパイルエラーに対する改善案の提示手法}},
        author = {小林健太},
         month = {0},
          year = {2014},
          note = {愛知県立大学},
}

@unpublished{id139,
         title = {{プログラミング演習における解答の構文に基づく自動判別手法}},
        author = {山田誠也},
         month = {0},
          year = {2014},
          note = {愛知県立大学},
}

@unpublished{id135,
         title = {{プログラミング演習の誤答分類による適応的アドバイスの提示}},
        author = {新川綾子},
         month = {0},
          year = {2014},
          note = {愛知県立大学},
}

@misc{id129,
         title = {Haskellプログラムの学習支援を目的とした実行トレースの可視化手法},
        author = {伊東宥},
         month = {0},
          year = {2013},
}

@misc{id128,
         title = {関数型プログラミングにおける並列化支援のための関数呼び出し木を用いたコスト近似手法},
        author = {佐藤統悟},
         month = {0},
          year = {2013},
}

@misc{id126,
         title = {多数の実例との照合による旋律に対するコード進行付与手法},
        author = {前田高志},
         month = {0},
          year = {2013},
}

@misc{id127,
         title = {言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援},
        author = {西村将広},
         month = {0},
          year = {2013},
}

@misc{id112,
         title = {関数型言語アプリケーションを異なるプログラミングモデルに基づく環境で運用する手法},
        author = {伊藤達也},
         month = {0},
          year = {2012},
}

@misc{id113,
         title = {関数型プログラミングの自習に適したe ラーニング環境の考察},
        author = {木村美月},
         month = {0},
          year = {2012},
}

@misc{id111,
         title = {軽量マークアップ言語を対象とした環境と言語に非依存な拡張環境},
        author = {梅村葵},
         month = {0},
          year = {2012},
}

@misc{id110,
         title = {ソフトウェア構築のモデル化と それに基づく依存関係の可視化},
        author = {永井郁哉},
         month = {0},
          year = {2012},
}

@misc{id114,
         title = {旋律断片の接合による 楽曲編曲手法に関する研究},
        author = {小川達也},
         month = {0},
          year = {2011},
}

@misc{id104,
         title = {並行動作型構文解析コンビネータライブラリへのエラー処理追加手法の提案},
        author = {小林祐貴},
         month = {0},
          year = {2011},
}

@misc{id105,
         title = {関数型言語の可視化に関する研究},
        author = {永井丈介},
         month = {0},
          year = {2011},
}

@misc{id88,
         title = {Java プログラム理解支援のための JVM の動作情報可視化手法の提案},
        author = {松田圭広},
         month = {2},
          year = {2010},
}

@misc{id89,
         title = {遅延評価に基づく関数型言語のコンパイラに関する研究},
        author = {山口晋矢},
         month = {2},
          year = {2010},
}

@misc{id90,
         title = {既存Web サイト群の構造分析による典型的構造の抽出},
        author = {東祐太朗},
         month = {2},
          year = {2010},
}

@misc{id81,
         title = {アドオン開発の効率化をめざしたWebブラウザ動作の可視化},
        author = {丹羽一平},
         month = {0},
          year = {2009},
}

@misc{id80,
         title = {ローカルデータベースを用いたWebアプリケーション設計手法の提案},
        author = {伏屋雄貴},
         month = {0},
          year = {2009},
}

@misc{id79,
         title = {宣言的記述によるコード進行分析手法},
        author = {小長谷康治},
         month = {0},
          year = {2009},
}

@misc{id73,
         title = {モデル検査における妥当性確認を目的とした並行システムの直観的な表現手法},
        author = {竹内亮太郎},
         month = {0},
          year = {2008},
}

@misc{id72,
         title = {クラスの対応関係に基づくライブラリ移行手法の提案},
        author = {藤崎洋子},
         month = {0},
          year = {2008},
}

@misc{id74,
         title = {アプリケーションの構造を軸とした学習項目グラフによるプラットフォーム学習支援},
        author = {藤浦 祥雅},
         month = {0},
          year = {2008},
}

@article{id67,
         title = {音楽理論理解のための楽曲解析システムの提案と実装},
        author = {岩田知也},
       journal = {　},
        volume = { },
        number = { },
         pages = { },
         month = {0},
          year = {2007},
          note = { },
        annote = { },
}

@misc{id68,
         title = {モデル検査器ユーザビリティ向上のための入出力に対する支援手法},
        author = {小野木浩子},
         month = {0},
          year = {2007},
}

@misc{id64,
         title = {学習支援を目的としたOS動作の可視化},
        author = {米倉康雄},
         month = {0},
          year = {2007},
}

@unpublished{id65,
         title = {スパニング木を利用したグラフの3次元表示},
        author = {井上良太},
         month = {0},
          year = {2007},
          note = {　},
}

@misc{id51,
         title = {前処理指令の依存関係に着目したソフトウェア管理支援},
        author = {住田真作},
         month = {0},
          year = {2006},
}

@misc{id50,
         title = {メソッド名とコメント文の対応関係を利用したメソッド名決定支援},
        author = {加古径吾},
         month = {0},
          year = {2006},
}

@misc{id24,
         title = {Javaプログラムに対する動的解析情報リポジトリとその応用},
        author = {大須賀慎一},
         month = {0},
          year = {2005},
}

@misc{id23,
         title = {ソフトウェア開発におけるRSSの応用},
        author = {清崎大輔},
         month = {0},
          year = {2005},
}

@misc{id27,
         title = {細粒度リポジトリのためのスクリプトバインディングとコーディングチェッカーへの応用},
        author = {土井陽介},
         month = {0},
          year = {2004},
}

@misc{id25,
         title = {帰納的学習を用いたXMLスキーマの統合に関する基礎的研究},
        author = {小川順平},
         month = {0},
          year = {2004},
}

@misc{id26,
         title = {文脈に基づいたソースプログラムとドキュメント間の識別子の対応づけ手法},
        author = {後藤英斗},
         month = {0},
          year = {2004},
}

@misc{id28,
         title = {パーサ開発における理解支援環境},
        author = {笠原史郎},
         month = {0},
          year = {2003},
}

@misc{id31,
         title = {閲覧したWeb文書の自動カテゴライズに関する研究},
        author = {藤田佳代},
         month = {0},
          year = {2003},
}

@misc{id30,
         title = {オブジェクトの挙動を視覚化するJavaNavi},
        author = {谷川里里},
         month = {0},
          year = {2003},
}

@misc{id29,
         title = {XMLを用いたCASEツールプラットフォームプラットフォーム},
        author = {高橋透},
         month = {0},
          year = {2003},
}

@misc{id32,
         title = {分散開発のためのネットワーク透過なソフトウェアリポジトリ},
        author = {井上雅貴},
         month = {0},
          year = {2002},
}

@misc{id33,
         title = {データベース管理システムを用いたソフトウェアリポジトリの汎用化},
        author = {伊吹聡子},
         month = {0},
          year = {2002},
}

@misc{id34,
         title = {ミューテーションスコアを利用したテストセット評価システム},
        author = {斉藤孝志},
         month = {0},
          year = {2002},
}

@misc{id35,
         title = {付箋によるコミュニケーション機能を備えたソフトウェアブラウザ},
        author = {沢田洋平},
         month = {0},
          year = {2002},
}

@misc{id38,
         title = {CASEツールのための依存解析モデル},
        author = {佐宗哲也},
         month = {0},
          year = {2001},
}

@misc{id36,
         title = {プログラム理解支援のための書籍モデルの提案とそれに基づくプログラムブラウザの実現},
        author = {大橋史武},
         month = {0},
          year = {2001},
          note = {卒業論文},
}

@misc{id39,
         title = {関係データベースを用いたソフトウェアデータベースの高信頼化},
        author = {幸田健一郎},
         month = {0},
          year = {2001},
          note = {卒業論文},
}

@misc{id37,
         title = {既存プログラムに対するデザインパターンの適用支援},
        author = {藤澤健治},
         month = {0},
          year = {2001},
          note = {卒業論文},
}

@masterthesis{id355,
         title = {LLMによる定理証明サンプル学習のためのデータセット形式},
        author = {中川 海都},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id353,
         title = {プログラミング言語特化モデルの作成におけるモデルマージ手法の有効性評価},
        author = {伊藤 菜摘},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id354,
         title = {ALgebraic Effectsによる副作用の抽象化と従来手法との比較},
        author = {加藤 智子},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id359,
         title = {ローカル通信最適化を備えたWebAssemblyコンテナランタイムによるFaaS基盤の設計},
        author = {小池 雄大},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id357,
         title = {プロパティベーステストにおける木構造のテストケース生成},
        author = {横山 穂奏},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id356,
         title = {言語開発支援と処理系学習を目的としたCPythonコア機能抽出に関する研究},
        author = {神野 友輔},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id358,
         title = {プログラミング演習における誤答分類のための構造的アプローチと意味的アプローチの比較評価},
        author = {西村 優基},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2026},
}

@masterthesis{id299,
         title = {関数型プログラミング言語に対する初学者に寄り添う型推論系},
        author = {山田桃香},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2024},
}

@article{id276,
         title = {ARTを用いたアルゴリズミックデバッグの効率化手法},
        author = {冨久剛志},
       journal = {修士学位論文, 愛知県立大学大学院},
         month = {0},
          year = {2022},
}

@article{id278,
         title = {MIPSプロセッサ作成実験との連携を考慮したコンパイラ教育⽀援環境},
        author = {國廣伸志},
       journal = {修士学位論文, 愛知県立大学大学院},
         month = {0},
          year = {2022},
}

@masterthesis{id262,
         title = {深層学習を用いた自動プログラミング手法の研究},
        author = {中井舞人},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2021},
          note = {愛知県立大学大学院},
}

@masterthesis{id263,
         title = {Haskellを対象としたトレーサHatLightのGHCにおける拡張と実装},
        author = {加藤知樹},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2021},
          note = {愛知県立大学大学院},
}

@masterthesis{id261,
         title = {Haskell処理系HiTSを用いたトレースによる評価順序の理解支援},
        author = {山田航},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2021},
          note = {愛知県立大学大学院},
}

@masterthesis{id235,
         title = {パーサコンビネータにおけるエラー報告からの最尤修正案の選択手法},
        author = {伊東忠彦},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2020},
}

@masterthesis{id236,
         title = {ドメインを考慮したパターン抽出によるコミットメッセージの作成支援},
        author = {堀内哲煕},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2020},
}

@masterthesis{id223,
         title = {プロファイルの組み合わせによるHaskellプログラムのスペースリーク特定手法},
        author = {若杉知樹},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2019},
}

@masterthesis{id203,
         title = {Haskellにおける部分関数の特定とその安全化},
        author = {山﨑將史},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2018},
}

@masterthesis{id204,
         title = {機械学習を用いたソースコード整形手法},
        author = {内山鷹介},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2018},
}

@masterthesis{id205,
         title = {コード理解を目的とするRxJavaを用いたリアクティブプログラムの可視化手法},
        author = {有田進作},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2018},
}

@masterthesis{id206,
         title = {再利用のためのWebページからのHTML/CSS部分切り出し},
        author = {額田蓮},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2018},
}

@masterthesis{id186,
         title = {分岐カバレッジ向上のための静的解析を用いたテストケース自動生成},
        author = {山田誠也},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2017},
}

@masterthesis{id185,
         title = {JCSPプログラムのためのFDRに基づく検証支援環境},
        author = {新川綾子},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2017},
}

@masterthesis{id166,
         title = {XML表現の類似度を用いた粒度可変のソースプログラムトレーサビリティツール},
        author = {伊東宥},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2016},
}

@masterthesis{id167,
         title = {単一ドメインを対象としたソフトウェア中の単語の類似性抽出},
        author = {西村将広},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2016},
}

@masterthesis{id142,
         title = {コーディング規約自動検査器のためのDSLの提案と実装},
        author = {伊藤達也},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2015},
}

@masterthesis{id141,
         title = {ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェアの修正法提示手法},
        author = {梅村 葵},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2015},
}

@masterthesis{id140,
         title = {ソフトウェア構築ログのリポジトリとその応用},
        author = {永井郁哉},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2014},
}

@masterthesis{id133,
         title = {和音機能に基づいた対話的かつ即興的なコード進行生成手法},
        author = {小川達也},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2013},
}

@masterthesis{id117,
         title = {APIの使用状況に基づくイディオムの抽出とそれを用いたソフトウェア自動分類},
        author = {丹羽一平},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2012},
}

@masterthesis{id118,
         title = {純粋関数型プログラミング言語の実行トレースを用いた理解支援},
        author = {山口晋矢},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2012},
}

@masterthesis{id119,
         title = {レンダリング結果の抽象化に基づくWebサイトデザインの共通点抽出法},
        author = {東祐太朗},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2012},
}

@masterthesis{id116,
         title = {マルチスレッドプログラムの理解支援を目的とした動作情報の可視化手法},
        author = {松田圭広},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2012},
}

@masterthesis{id115,
         title = {ソースコードブラウザのローカル化による使用性の向上},
        author = {槇本洋次},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2012},
}

@masterthesis{id100,
         title = {関数型言語を用いた宣言的な楽曲分析システム},
        author = {小長谷康治},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2011},
}

@masterthesis{id101,
         title = {ソフトウェア理解支援のためのデータ構造の重要度評価手法},
        author = {竹治勲},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2011},
}

@masterthesis{id87,
         title = {空欄補充問題の自動生成によるHaskellプログラミング学習支援環境},
        author = {竹内亮太郎},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2010},
}

@masterthesis{id85,
         title = {Haskellプログラムの理解支援を目的とした型に基づく関心事の分離},
        author = {藤崎洋子},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2010},
}

@masterthesis{id86,
         title = {リソースを考慮した依存グラフとサンプルプログラム自動生成への応用},
        author = {藤浦祥雅},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2010},
}

@masterthesis{id75,
         title = {WebブラウザのCSSレンダリングエンジンに対する網羅的な妥当性検査手法},
        author = {近藤 裕佑},
        school = {愛知県立大学大学院},
         month = {2},
          year = {2009},
}

@masterthesis{id62,
         title = {OSGiに基づく拡張可能ソフトウェアにおける動作情報の取得手法とその応用},
        author = {清崎 大輔},
        school = {愛知県立大学大学院},
         month = {2},
          year = {2008},
}

@masterthesis{id63,
         title = {オブジェクトの振る舞いをユーザ独自の演出で表現するプログラムプレゼンテーション},
        author = {大須賀 慎一},
        school = {愛知県立大学大学院},
         month = {0},
          year = {2008},
}

@masterthesis{id49,
         title = {UMLを用いたソースプログラムの視覚化とプログラム理解支援への応用},
        author = {堀田吉彦},
        school = {愛知県立大学},
         month = {0},
          year = {2006},
}

@masterthesis{id47,
         title = {帰納的学習を用いたXML文書のスキーマ変換器自動生成},
        author = {小川順平},
        school = {愛知県立大学},
         month = {0},
          year = {2006},
}

@masterthesis{id54,
         title = {形式的概念分析を用いたグルーピングによるCプログラム理解支援手法},
        author = {栗田健士},
        school = {愛知県立大学},
         month = {0},
          year = {2006},
}

@masterthesis{id40,
         title = {XML により表現されたソースプログラム間の差分抽出},
        author = {高橋透},
        school = {愛知県立大学},
         month = {0},
          year = {2005},
}

@masterthesis{id42,
         title = {ミューテーション法を用いたテストセット構成支援に関する研究},
        author = {斉藤孝志},
        school = {愛知県立大学},
         month = {0},
          year = {2004},
}

@masterthesis{id41,
         title = {WebアノテーションとWeblogを統合した個人の情報発信メディア},
        author = {沢田洋平},
        school = {愛知県立大学},
         month = {0},
          year = {2004},
}

@masterthesis{id43,
         title = {エピソード記憶に訴えるBookmark less Bookmarkの提案},
        author = {大橋史武},
        school = {愛知県立大学},
         month = {0},
          year = {2003},
}

@masterthesis{id44,
         title = {Cプログラムの理解を支援するナビゲーション機能},
        author = {太田洋介},
        school = {愛知県立大学},
         month = {0},
          year = {2003},
}