Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

PMAN - Paper management system

LaTeX list of works

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

下のフィールドに表示された内容をエディタなどにコピー＆ペーストして，LaTeXをかけてください．
オプション設定でPDFのオンライン生成を許可している場合は，上方のどこかにPDFというリンクができています．

\documentclass{jarticle}
\usepackage{times}
\usepackage{fancyhdr}
\renewcommand{\baselinestretch}{0.85}
\setlength{\topmargin}{-10mm}
\setlength{\oddsidemargin}{0mm}
\setlength{\evensidemargin}{0mm}
\setlength{\textheight}{23.6cm}
\setlength{\textwidth}{16cm}
\title{\LARGE\bf 研究業績リスト}

\newcommand{\myName}{} %ここに名前が挿入される
\newcommand{\myAffiliation}{} %ここに所属が挿入される
\newcommand{\myTitle}{} %ここに肩書きが挿入される
\author{ \myAffiliation ~~ \myTitle  ~~ \myName }

\begin{document}
\maketitle

\pagestyle{fancy}
\thispagestyle{fancy}

\renewcommand{\headrulewidth}{0.5pt}
\renewcommand{\footrulewidth}{0.5pt}
\renewcommand{\sectionmark}[1]{\markright{#1}}
\fancyhf{}
\fancyhead[CE,CO]{\bf 研究業績リスト}
\fancyhead[RE,LO]{\bf \rightmark}
\fancyfoot[LE,RO]{\thepage}

\section{論文誌}
\label{sec:0}

\renewcommand{\labelenumi}{[\ref{sec:0}.\arabic{enumi}]}
\begin{enumerate}
\item
藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, ``プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出,'' コンピュータソフトウェア, volume 28, number 4, , pages 358-370 2011年.
\item
竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎, ``モデル検査における妥当性確認を目的とした並行システムの表現手法,'' コンピュータソフトウェア, volume 28, number 1, pages 293-299 2011年.
\item
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, ``モデル生成法に基づくjavascriptプログラム型検査の機械実行,'' 電子情報通信学会論文誌, volume J89-D, number 4, pages 693-704 2006年4月.
\end{enumerate}
\section{国際会議}
\label{sec:1}

\renewcommand{\labelenumi}{[\ref{sec:1}.\arabic{enumi}]}
\begin{enumerate}
\item
Yoshihiko Hotta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, and Kunihiko Saito, ``Synergistic Use of both Static and Dynamic Information to Generate Reversed Uml Diagrams for Better Software Understanding,'' The 22nd International Symposium on Software Reliability Engineering (ISSRE 2011),   November 2011.
\item
Kunihiko Saito, Takeshi Kurita, and Shinichiro Yamamoto, ``Interactive Program Modularization for Software Undeｒstanding Via Formal Concept  Analysis,'' Fourth International Conference On Concept Lattices and Their Applications,  pages 303--310 October 2006.
\end{enumerate}
\section{国内会議(査読付き)}
\label{sec:2}

\renewcommand{\labelenumi}{[\ref{sec:2}.\arabic{enumi}]}
\begin{enumerate}
\item
山崎将史, 大久保弘崇, 粕谷英人, 山本晋一郎, ``アルゴリズミックデバッグにおける正誤判定の効率化と半自動化,''  ソフトウェア工学の基礎XXIII, volume 42, pages 109-114 2016年12月.
\item
永井郁哉, 大久保弘崇, 粕谷英人, 山本晋一郎, ``ソフトウェア構築ログ解析器を用いたソースプログラム解析,'' ソフトウェアエンジニアリングシンポジウム2014論文集, volume 2014, pages 196-197 2014年8月.
\item
永井郁哉, 大久保弘崇, 粕谷英人, 山本晋一郎, ``実行履歴に基づくソフトウェア構築モデルの提案,'' ソフトウェアエンジニアリングシンポジウム2013論文集, volume 2013, pages 1-2 2013年9月.
\item
竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, ``大規模ソフトウェアの概要把握支援のための動的解析結果の静的解析を用いた一元化,'' ソフトウェアエンジニアリングシンポジウム2013論文集, volume 2013, pages 1-8 2013年9月.
\item
竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎, ``モデル検査における妥当性確認を目的とした並行システムの表現手法,'' ソフトウェア工学の基礎XVI, volume 35, pages 119-130 2009年11月.
\item
藤崎洋子, 大久保弘崇, 粕谷英人, 山本晋一郎, ``ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法,'' ソフトウェア工学の基礎XVI, volume 35, pages 305-312 2009年11月.
\item
藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, ``プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出,''  ソフトウェア工学の基礎XVI, volume 35, pages 73-84 2009年11月.
\item
加古径吾, 大久保弘祟, 粕谷英人, 山本晋一郎, 稲垣康善, ``メソッド名とドキュメンテーションコメントの対応付け手法の提案,'' ソフトウェア工学の基礎IX, volume 33, pages 149--154 2007年11月.
\item
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, ``モデル生成に基づくjavascriptプログラムの型検査系の構築について,''  第9回プログラミングおよびプログラミング言語ワークショップ論文集,  pages 77-88 2007年3月.
\item
高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Xmlを用いたcaseツール・プラットフォーム作成支援環境,''  ソフトウェア工学の基礎XI, volume 30, pages 161--172 2004年11月.
\end{enumerate}
\section{研究会・全国大会等}
\label{sec:3}

\renewcommand{\labelenumi}{[\ref{sec:3}.\arabic{enumi}]}
\begin{enumerate}
\item
三輪彩芽, 山本晋一郎, 大久保弘崇, 粕谷英人, Langchainを用いた検索拡張生成(Rag)におけるシラバス情報の取得手法, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
内山麟, 山本晋一郎, 大久保弘崇, 粕谷英人, Ghcのコンパイル過程に現れる中間表現に関する研究, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
梨木勝斗, 山本晋一郎, 大久保弘崇, 粕谷英人, 生成aiを用いた個別最適化プログラミング学習支援システム, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
榎本光, 山本晋一郎, 大久保弘崇, 粕谷英人, Cnnとrnnにおける正規化手法batchnormとlayernormの性能比較, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
眞田芽依, 山本晋一郎, 大久保弘崇, 粕谷英人, トイゲームを対象としたdeep Q-Networkの入力表現と報酬設計の検証, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
磯村亮太, 山本晋一郎, 大久保弘崇, 粕谷英人, トークンの品詞情報と周辺語による分散表現生成word2vecの表現性向上, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
西遼太郎, 山本晋一郎, 大久保弘崇, 粕谷英人, Ssa形式を利用した手続き型言語から関数型言語への変換に関する研究, 電子情報通信学会 東海支部 令和6年度 卒業研究発表会, 2025年.
\item
中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人, ``大規模言語モデルにおけるcoq定理証明の学習手法に関する研究,''  第22回情報学ワークショップ,   2024年12月.
\item
伊藤 菜摘, 山本晋一郎, 大久保弘崇, 粕谷英人, ``言語モデルの理解促進のためのgpt-2内部構造の視覚化手法の比較,''  第22回情報学ワークショップ,   2024年12月.
\item
加藤 智子, 山本晋一郎, 大久保弘崇, 粕谷英人, ``Algebraic Effectsを扱うhaskellライブラリの比較,''  第22回情報学ワークショップ,   2024年12月.
\item
小池 雄大, 山本晋一郎, 大久保弘崇, 粕谷英人, ``Webassembly Component Model を用いた分散システムの提案,''  第22回情報学ワークショップ,   2024年12月.
\item
横山 穂奏, 山本晋一郎, 大久保弘崇, 粕谷英人, ``プロパティベーステストにおけるプロパティ作成支援の実現に向けた調査,''  第22回情報学ワークショップ,   2024年12月.
\item
神野 友輔, 山本晋一郎, 大久保弘崇, 粕谷英人, ``Pythonコンパイラの性能比較とコンパイラの改善について,''  第22回情報学ワークショップ,   2024年12月.
\item
西村 優基, 山本晋一郎, 大久保弘崇, 粕谷英人, ``プログラミング演習における誤答分類のためのソースコードクラスタリングに関する研究,''  第22回情報学ワークショップ,   2024年12月.
\item
伊藤 菜摘, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, ``ソフトウェア開発のためのオープンソースllmのファインチューニング,''  情報処理学会研究報告, volume 2024-SE-216(5), pages 1-7 2024年3月.
\item
山田桃香, 大久保弘崇, 粕谷英人, 山本晋一郎, ``関数型プログラミング言語に対する初学者に寄り添う型推論系,''  情報処理学会研究報告, volume 2024-SE-216(14), pages 1-7 2024年3月.
\item
池田 竜之介, 山本 晋一郎, 大久保 弘崇, 粕谷 英人, ``ソースコードの生成を目的とした大規模言語モデルに対する学習データセット,''  情報処理学会研究報告, volume 2024-SE-216(6), pages 1-8 2024年3月.
\item
西村 優基, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, ``プログラミング演習の指導におけるchatgptを用いたプログラム修正ヒントの提案,''  情報処理学会研究報告, volume 2024-SE-216(4), pages 1-8 2024年3月.
\item
中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人, Chatgptを用いたpygamezeroアプリの対話的開発手法, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.
\item
加藤 智子, 山本晋一郎, 大久保弘崇, 粕谷英人, プログラミング言語kokaにおけるalgebraic Effectsに関する研究, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.
\item
小池 雄大, 山本晋一郎, 大久保弘崇, 粕谷英人, Webassemblyのソースマップ生成ツールの実装と評価, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.
\item
横山 穂奏, 山本晋一郎, 大久保弘崇, 粕谷英人, Chatgptによるプロパティベーステスト支援に関する研究, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.
\item
神野 友輔, 山本晋一郎, 大久保弘崇, 粕谷英人, ビジュアルプログラミング言語のためのchatgptを用いたプログラミング初学者支援, 電子情報通信学会 東海支部 令和５年度 卒業研究発表会, 2024年.
\item
石関 祐輝, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, ``関数仕様を用いたプロパティ合成手法に関する研究,''  研究報告ソフトウェア工学（SE）, volume 2023-SE-213(14), pages 1-8 2023年3月.
\item
高橋 一斗, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, ``型情報を用いたhoogle検索の使用性の向上,''  研究報告ソフトウェア工学（SE）, volume 2023-SE-213(13), pages 1-7 2023年3月.
\item
下川巧, 山本晋一郎, 大久保弘崇, 粕谷英人, データベースを用いたquixoの解析, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
佐竹辰海, 山本晋一郎, 大久保弘崇, 粕谷英人, Mdbookを用いたrustの演習付き入門コースを作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
小出智也, 山本晋一郎, 大久保弘崇, 粕谷英人, プログラミング教育におけるテストケース問題作成の指針について, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
新留七彩, 山本晋一郎, 大久保弘崇, 粕谷英人, Haskell 初学者の学習支援環境の構築, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
横井翔, 山本晋一郎, 大久保弘崇, 粕谷英人, Csアンプラグドに基づいたプログラミング教材の提案, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
遠藤圭人, 山本晋一郎, 大久保弘崇, 粕谷英人, ２命令を備えたコンピュータによる学習教材の作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
黒野葵, 山本晋一郎, 大久保弘崇, 粕谷英人, 高校情報ⅰ授業用pythonプログラミング教材作成, 電子情報通信学会 東海支部 令和４年度 卒業研究発表会, 2023年.
\item
山田桃香, 山本晋一郎, 大久保弘崇, 粕谷英人, ``関数型プログラミング言語に対する型推論系に関する研究,''  第20回情報学ワークショップ,   2022年12月.
\item
西村殊音, 山本晋一郎, 大久保弘崇, 粕谷英人, ``複数のプログラミング言語の比較による学習,''  第20回情報学ワークショップ,   2022年12月.
\item
冨久剛志, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Artを用いたアルゴリズミックデバッグの効率化手法,'' 情報処理学会研究報告, volume 2022-SE-210, number 15, pages 1-6 2022年3月.
\item
山田桃香，山本晋一郎，大久保弘崇，粕谷英人, 関数型プログラミング言語に対する型推論系に関する研究, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022年.
\item
清永大地，山本晋一郎，大久保弘崇，粕谷英人, 入出力例をもとにした自動プログラミング手法の調査と改良, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022年.
\item
林大輝, 山本晋一郎, 大久保弘崇, 粕谷英人, ``Haskellの型システムを用いた単位付き計算システムに関する研究,''  第19回情報学ワークショップ,   2021年11月.
\item
石関祐輝, ``関数の実装に対するプロパティ付加作業の支援手法に関する研究,''  第19回情報学ワークショップ,   2021年11月.
\item
高橋一斗, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Hoogleにおいて型クラスを候補として提示する関数検索手法,''  第19回情報学ワークショップ,   2021年11月.
\item
中井舞人，山本晋一郎，大久保弘崇，粕谷英人, 深層学習を用いた自動プログラミング手法の改良, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.
\item
加藤知樹，山本晋一郎，大久保弘崇，粕谷英人, Haskell を対象とした値コンストラクタへの関数注入によるトレース手法, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.
\item
山田航，山本晋一郎，大久保弘崇，粕谷英人, Haskell 処理系 Hits を用いたトレースによる学習支援, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.
\item
辻知希，山本晋一郎，大久保弘崇，粕谷英人, Xv6を対象としたos内部情報のリアルタイム可視化, 令和二年度 電気・電子・情報関係学会 東海支部連合大会, 2020年.
\item
加藤 知樹, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, ``Haskellを対象とした値コンストラクタへの関数注入によるトレース手法,''  第22回プログラミングおよびプログラミング言語ワークショップ,   2020年3月.
\item
伊東忠彦, 大久保弘崇, 粕谷英人, 山本晋一郎, ``パーサコンビネータにおける網羅的なエラー報告候補集合の生成とそれに基づくエラー報告,'' 情報処理学会研究報告, volume 2020-SE-204, number 6, pages 1-8 2020年2月.
\item
中井舞人, ``深層学習を用いた自動プログラミング手法の評価,''  第17回情報学ワークショップ,   2019年11月.
\item
伊東忠彦, ``コンビネータパーサにおける型付きエラー報告に関する研究,''  第17回情報学ワークショップ,   2019年11月.
\item
堀内哲煕, ``バージョン管理システムにおける適切なコミットメッセージの作成支援,''  第17回情報学ワークショップ,   2019年11月.
\item
山田航, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Haskell処理系hitsを用いたスペースリーク検出手法,''  ソフトウェア工学の基礎ⅩⅩⅤⅠ, volume 45, pages 201-202 2019年11月.
\item
中井 舞人, 山本 晋一郎, 粕谷 英人, 大久保 弘崇, ``プログラミング演習における自動正誤判定の精度向上を目的とするミューテーション手法,'' 情報処理学会研究報告, volume 2019-SE-201, number 7, pages 1-8 2019年3月.
\item
加藤 知樹, 大久保 弘崇, 粕谷英人, 山本 晋一郎, ``Haskellを対象とした先行評価を模したトレースの実現手法,'' 情報処理学会研究報告, volume 2019-SE-201, number 5, pages 1-7 2019年3月.
\item
中村博輝, ``深層学習を用いた自動プログラミング手法の評価,'' 電子情報通信学会東海支部平成30年度卒業研究発表会論文集,   2019年3月.
\item
村上大樹, ``関数型言語を用いたosの実装手法の評価,'' 電子情報通信学会東海支部平成30年度卒業研究発表会論文集,   2019年3月.
\item
伊東忠彦, ``コンビネータパーサにおける型付きエラー報告に関する研究,''  第16回情報学ワークショップ,   2018年11月.
\item
堀内哲煕, ``バージョン管理システムにおける適切なコミットメッセージの作成支援,''  第16回情報学ワークショップ,   2018年11月.
\item
若杉知樹, ``Haskellのスペースリークに関する研究,''  第16回情報学ワークショップ,   2018年11月.
\item
堀内哲熙, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Haskellプログラムへの状態モナドの自動挿入,'' 情報処理学会研究報告, volume 2018-SE-198, number 3, pages 1-8 2018年3月.
\item
額田蓮, 大久保弘崇, 粕谷英人, 山本晋一郎, ``再利用のためのwebページからのhtml/Cssテンプレート生成,'' 情報処理学会研究報告, volume 2018-SE-198, number 23, pages 1-8 2018年3月.
\item
伊東忠彦, 大久保弘崇, 粕谷英人, 山本晋一郎, ``コンビネータパーサによる構文解析器における言語指向のエラー報告,'' 情報処理学会研究報告, volume 2018-SE-198, number 20, pages 1-8 2018年3月.
\item
中洲利基, ``ユーザによる既存分類に基づくナイーブベイズを用いた文書分類ツール,''  電子情報通信学会東海支部平成29年度卒業研究発表会論文集,   2018年3月.
\item
安田省太郎, ``誤解答事例を利用した Haskell 演習における初学者へのフィードバック手法,''  電子情報通信学会東海支部平成29年度卒業研究発表会論文集,   2018年3月.
\item
山田裕太, ``ランダムテストを用いた近似的同値性検証によるライブラリ関数再定義の検出,''  電子情報通信学会東海支部平成29年度卒業研究発表会論文集,   2018年3月.
\item
 有田進作, ``リアクティブプログラミングを対象としたコード理解のための可視化手法,''  第15回情報学ワークショップ,   2017年11月.
\item
内山鷹介, ``機械学習を用いたソースコード整形手法,''  第15回情報学ワークショップ,   2017年11月.
\item
山﨑將史, ``部分関数を対象とした例外処理挿入手法,''  第15回情報学ワークショップ,   2017年11月.
\item
若杉知樹, ``Haskellにおける評価戦略最適化のフィードバック,''  第15回情報学ワークショップ,   2017年11月.
\item
額田蓮, ``再利用を目的としたwebページにおける指定領域の抽出手法,''  第15回情報学ワークショップ,   2017年11月.
\item
山田誠也, 大久保弘崇, 粕谷英人, 山本晋一郎, ``分岐カバレッジ向上を目的とした静的解析を用いたテストケース自動生成,'' 情報処理学会研究報告, volume 2017-SE-195, number 18, pages 1-8 2017年3月.
\item
内山鷹介, ``Javascriptを実装言語としたhaskellのサブセット言語の実装,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
山下公希, ``機能の対応関係に基づくjavascriptライブラリ移行手法,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
山崎將史, ``アルゴリズミックデバッグにおける正誤判定の効率化・半自動化,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
有田進作, ``Webフレームワークsnapにおけるhtmlテンプレートエンジンの機能拡張,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
粟野頁多, ``初学者のための高階関数に着目したhaskellソースコード可視化手法,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
谷口雅明, ``誤答から正解への修正事例を利用した初学者のための支援ツール,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
近藤司, ``関数型言語に対する高階関数を含むライブラリ関数の振舞い検索,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
額田蓮, ``既存webページ群からのビジュアルスニペットの抽出とそれを用いたwebデザインの生成手法,''  電子情報通信学会東海支部平成27年度卒業研究発表会論文集,   2016年3月.
\item
梅村葵, 大久保弘崇, 粕谷英人, 山本晋一郎, ``ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェア修正法提示,'' 情報処理学会研究報告, volume 2015-SE-187, number 25, pages 1-8 2015年3月.
\item
小島一成, 大久保弘崇, 粕谷英人, 山本晋一郎, ``代数データ型によるc言語プログラムのモデル化,'' 情報処理学会研究報告, volume 2015-SE-187, number 24, pages 1-8 2015年3月.
\item
伊藤達也, 大久保弘崇, 粕谷英人, 山本晋一郎, ``コーディング規約検査器のための規約記述dsl,'' 情報処理学会研究報告, volume 2015-SE-187, number 2, pages 1-8 2015年3月.
\item
大久保弘崇, 山本晋一郎, ``ランダムテストを応用したプログラミング演習における答案の自動正誤判定機構,'' 情報処理学会第77回全国大会講演論文集, volume 4, pages 529-530 2015年3月.
\item
小林健太, ``実例の分析結果の基づくコンパイルエラーに対する改善案の提示手法,''  電子情報通信学会東海支部平成26年度卒業研究発表会論文集,   2015年3月.
\item
山田誠也, ``プログラミング演習における解答の構文に基づく自動判別手法,''  電子情報通信学会東海支部平成26年度卒業研究発表会論文集,   2015年3月.
\item
新川綾子, ``プログラミング演習の誤答分類による適応的アドバイスの提示,''  電子情報通信学会東海支部平成26年度卒業研究発表会論文集,   2015年3月.
\item
伊東宥, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Haskellプログラムの学習支援を目的とした実行トレースの可視化手法,'' 電子情報通信学会東海支部平成25年度卒業研究発表会論文集,  page 29 2014年3月.
\item
前田高志, 大久保弘崇, 粕谷英人, 山本晋一郎, ``多数の実例との照合による旋律に対するコード進行付与手法,'' 電子情報通信学会東海支部平成25年度卒業研究発表会論文集,  page 25 2014年3月.
\item
西村将広, 大久保弘崇, 粕谷英人, 山本晋一郎, ``言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援,'' 電子情報通信学会東海支部平成25年度卒業研究発表会論文集,  page 28 2014年3月.
\item
丹羽一平, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Apiの使用状況に基づく機能のグルーピングとそれを用いたソフトウェア自動分類,'' 情報処理学会研究報告, volume 2013-SE-179, number 3, pages 1-8 2013年3月.
\item
竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, ``大規模ソフトウェアの概要把握の支援を目的とした構造体型の特徴付け,'' 情報処理学会研究報告, volume 2013-SE-179, number 2, pages 1-8 2013年3月.
\item
小長谷康治, 山本晋一郎, 大久保弘崇, 粕谷英人, ``関数型言語を用いた宣言的な楽曲分析システム,'' 情報処理学会第74回全国大会講演論文集（第 2 分冊　人工知能と認知科学）,  2-339～2-340 2012年3月.
\item
竹治勲, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, ``ソフトウェア理解支援のためのデータ構造の重要度評価手法,'' 情報処理学会第74回全国大会講演論文集（第 1 分冊　ソフトウェア科学・工学）,  1-345～1-346 2012年3月.
\item
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, ``テキスト値出現位置に着目したxml文書のスキーマ変換器学習手法,'' 情報処理学会研究報告, volume 2011-PRO-87, number 4, pages 1-9 2012年1月.
\item
東祐太朗, 粕谷英人, 大久保弘崇, 山本晋一郎, ``Webサイト群の構造分析による典型的構造の抽出法,''  第10回情報科学技術フォーラム(FIT2011)講演論文集, 第1分冊, B-024,  pages 295-301 2011年9月.
\item
竹内亮太郎, 大久保弘崇, 粕谷英人, 山本晋一郎, ``空欄補充問題の自動生成によるhaskellプログラミング学習支援環境,'' 情報処理学会研究報告, volume 2011-SE-171, number 15 ,  2011年3月.
\item
藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎, ``サンプルプログラム自動生成のためのリソースを考慮した依存グラフ,'' 情報処理学会研究報告, volume 2011-SE-171, number 11,  2011年3月.
\item
林英志, 日高隆博, 山本晋一郎, 小林隆志, 上原正太, 間瀬順一, 鈴村延保, 阿草清滋, ``メタ情報とコンテキスト情報を用いた入力補完機能とxpath入力への応用,'' , 2010年5月.
\item
横山祐司, 日高隆博, 山本晋一郎, 小林隆志, 手嶋茂晴, 阿草清滋, ``バリエーション並行開発のための版管理ツールと統合開発環境,'' , 2010年5月.
\item
関文貴, 日高隆博, 山本晋一郎, 小林隆志, 手嶋茂晴, 阿草清滋, ``制御ソフトウェアの固定小数点演算化ツールの設計と実装,'' , 2010年5月.
\item
大久保弘崇, 大須賀慎一, 山本晋一郎, ``ソフトウェアの振舞いを演出して表現するプログラムプレゼンテーション,'' , 2008年11月.
\item
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, ``動的解析を用いるcaseツールプラットフォームの情報取得について,''  電気関係学会東海支部連合大会, volume O-266,  2008年9月.
\item
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, ``構造木の差分発見手法のパラメータ化に関する研究,''  電気関係学会東海支部連合大会, volume O-404,  2008年9月.
\item
清崎 大輔, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, ``拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援,''  情報処理学会研究報告, 2008-SE-159, volume 2008, number 29, pages 25-32 2008年3月.
\item
近藤裕佑, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Webブラウザのcssレンダリング妥当性検査手法の提案,''  情報処理学会 第70回全国大会,   2008年3月.
\item
近藤裕佑, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Webサイト間のモーフィングによるwebデザイニング支援,'' 日本ソフトウェア科学会 第15回インタラクティブシステムとソフトウェアに関するワークショップ, volume 2007, number 53(ISSN 1341-870X), pages 173-174 2007年12月.
\item
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, ``リバースエンジニアリングによるuml をベースとした拡張シーケンス図の生成,''  第6回情報科学技術フォーラム(FIT2007)講演論文集,   2007年10月.
\item
清崎大輔, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Osgiに基づく拡張可能ソフトウェアの動作情報取得手法,''  ソフトウェアエンジニアリング最前線 2007,  pages 219-222 2007年8月.
\item
栗田健士, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, ``形式的概念分析を用いたグルーピングによるcプログラム理解支援手法,'' 情報処理学会研究報告, 2007-SE-155, volume 2007, number 33, pages 151--158 2007年3月.
\item
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, ``構造の対応に基づいたxml文書のスキーマ変換器自動生成,'' 信学技報, volume 106, number 522, pages 1-6 2007年2月.
\item
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, ``Umlをベースとしたjavaプログラムの視覚化における手続き的処理部の表現について,''  信学技報, volume 106, number 522, pages 43-48 2007年2月.
\item
大須賀慎一, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Javaプログラムを対象とした動的解析リポジトリの自動生成,''  情報学ワークショップ2006(WiNF2006)論文集, number 4, pages 34--37 2006年9月.
\item
栗田健士, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦, ``プログラム理解のためのcプログラムのモジュール化手法とその視覚化,''  情報学ワークショップ2006(WiNF2006)論文集, number 4, pages 38--43 2006年9月.
\item
高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, ``構文木に着目してxmlマークアップされたソースプログラム間の差分抽出,''  情報処理学会研究報告, 2006-SE-151, volume 2006, number 35, pages 41--48 2006年3月.
\item
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦, ``Javaプログラムからのオブジェクトフローグラフの生成,''  情報学ワークショップ2005(WiNF 2005)論文集,  pages 25--31 2005年9月.
\item
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎, ``帰納的学習を用いたxmlスキーマの統合に関する基礎的研究,''  情報学ワークショップ2005(WiNF 2005)論文集,  pages 46--51 2005年9月.
\item
高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, ``カスタマイズ可能なコーディングチェッカー,''  情報学ワークショップ2005(WiNF 2005)論文集,  pages 39--45 2005年9月.
\item
沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Webアノテーションとweblogを統合した個人の情報発信メディア,''  信学技報, number WI2-2005-11, pages 1--6 2005年3月.
\item
後藤英斗, 大久保弘崇, 粕谷英人, 山本晋一郎, ``文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法,''  情報処理学会研究報告, 2005-SE-147, volume 2005, number 29, pages 41--48 2005年3月.
\item
斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎, ``ミューテーション法を用いたテストセット構成支援に関する研究,''  情報処理学会研究報告, 2005-SE-147, volume 2005, number 29, pages 49--56 2005年3月.
\item
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, ``モデル生成に基づく Javascriptプログラム型検査のためのフロントエンド,''  信学技報, volume 104, number 242(ISSN 0913-5685), pages 41--46 2004年8月.
\item
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, ``形式的手法に基づく Javascriptプログラムの型検査系の実現,''  信学技報, volume 104, number 47(ISSN 0913-5685), pages 13--18 2004年5月.
\item
太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Cプログラムの理解を支援するナビゲーション機能,''  情報処理学会研究報告, 2004-SE-144, volume 2004, number 30, pages 61--66 2004年3月.
\item
笠原史郎, 大久保弘崇, 粕谷英人, 山本晋一郎, ``構文解析器の開発支援環境,''  情報処理学会研究報告, 2004-SE-144, volume 2004, number 30, pages 55--60 2004年3月.
\item
斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎, ``ミューテーションスコアを利用したテストセット評価システム,''  ソフトウェアテストシンポジウム2004予稿集,  pages 107--112 2004年1月.
\item
大橋史武, 大久保弘崇, 粕谷英人, 山本晋一郎, ``エピソード記憶に訴えるbookmarkless Bookmarkの実現,''  (予稿集なし) 日本産業科学学会中部部会報告,   2003年12月.
\item
太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Cプログラムの理解を支援するナビゲーション機能,''  (予稿集なし) 日本産業科学学会中部部会報告,   2003年12月.
\item
大橋史武, 大久保弘崇, 粕谷英人, 山本晋一郎, ``ブラウジング履歴に基づくbookmarkless Bookmarkの提案,''  電気系学会東海支部連合大会講演論文集,  page 263 2003年10月.
\item
太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎, ``Cプログラムブラウズを支援するナビゲーション機能,''  電気系学会東海支部連合大会講演論文集,  page 265 2003年10月.
\item
沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎, ``付箋によるコミュニケーション機能を備えたソフトウェアブラウザ,''  信学技報, volume 103, number 189(SS2003-8), pages 13--18 2003年7月.
\item
大橋史武, 大久保弘崇, 粕谷英人, 山本晋一郎, ``プログラム理解支援のための書籍モデルの提案とそれに基づくプログラムブラウザの実現,''  電気系学会東海支部連合大会,  page 264 2002年9月.
\end{enumerate}
\section{卒業論文}
\label{sec:8}

\renewcommand{\labelenumi}{[\ref{sec:8}.\arabic{enumi}]}
\begin{enumerate}
\item
三輪彩芽, Langchainを用いた検索拡張生成(Rag)におけるシラバス情報の取得手法, 愛知県立大学, 2025年.
\item
内山麟, Ghcのコンパイル過程に現れる中間表現に関する研究, 愛知県立大学, 2025年.
\item
山脇功大, オセロを対象としたルールを与えないディープラーニングの学習パラメータと性能の関係についての研究, 愛知県立大学, 2025年.
\item
梨木勝斗, 生成aiを用いた個別最適化プログラミング学習支援システム, 愛知県立大学, 2025年.
\item
榎本光, Cnnとrnnにおける正規化手法batchnormとlayernormの性能比較, 愛知県立大学, 2025年.
\item
眞田芽依, トイゲームを対象としたdeep Q-Networkの入力表現と報酬設計の検証, 愛知県立大学, 2025年.
\item
磯村亮太, トークンの品詞情報と周辺語による分散表現生成word2vecの表現性向上, 愛知県立大学, 2025年.
\item
西遼太郎, Ssa形式を利用した手続き型言語から関数型言語への変換に関する研究, 愛知県立大学, 2025年.
\item
池田 竜之介, ソースコードの生成を目的とした大規模言語モデルに対する学習データセット, 愛知県立大学, 2024年.
\item
中川 海都, Chatgptを用いたpygamezeroアプリの対話的開発手法, 愛知県立大学, 2024年.
\item
伊藤 菜摘, ソフトウェア開発のためのオープンソースllmのファインチューニング, 愛知県立大学, 2024年.
\item
加藤 智子, プログラミング言語kokaにおけるalgebraic Effectsに関する研究, 愛知県立大学, 2024年.
\item
小池 雄大, Webassemblyのソースマップ生成ツールの実装と評価, 愛知県立大学, 2024年.
\item
横山 穂奏, Chatgptによるプロパティベーステスト支援に関する研究, 愛知県立大学, 2024年.
\item
神野 友輔, ビジュアルプログラミング言語のためのchatgptを用いたプログラミング初学者支援, 愛知県立大学, 2024年.
\item
西村 優基, プログラミング演習の指導におけるchatgptを用いたプログラム修正ヒントの提案, 愛知県立大学, 2024年.
\item
黒野葵, 高校情報ⅰ授業用pythonプログラミング教材作成, 愛知県立大学, 2023年.
\item
下川巧, データベースを用いたquixoの解析, 愛知県立大学, 2023年.
\item
佐竹辰海, Mdbookを用いたrustの演習付き入門コースを作成, 愛知県立大学, 2023年.
\item
小出智也, プログラミング教育におけるテストケース問題作成の指針について, 愛知県立大学, 2023年.
\item
新留七彩, Haskell初学者の学習支援環境の構築, 愛知県立大学, 2023年.
\item
横井翔, Csアンプラグドに基づいたプログラミング教材の提案, 愛知県立大学, 2023年.
\item
遠藤圭人, ２命令を備えたコンピュータによる学習教材の作成, 愛知県立大学, 2023年.
\item
吉澤康太, Haskellを用いたwebサーバの評価, 愛知県立大学卒業論文, 2022年.
\item
奥山郁未, 初学者を対象としたデバッグ作業のためのプログラム動作の可視化, 愛知県立大学卒業論文, 2022年.
\item
山田桃香, 関数型プログラミング言語に対する型推論系に関する研究, 愛知県立大学卒業論文, 2022年.
\item
杉本昂樹, コーティングの自動化に関する調査, 愛知県立大学卒業論文, 2022年.
\item
清永大地, 入出力例をもとにした自動プログラミング手法の調査と改良, 愛知県立大学卒業論文, 2022年.
\item
長江佑磨, 文書検索における補助検索ワードの提示ツールに関する研究, 愛知県立大学卒業論文, 2022年.
\item
山住凌史, Lstmを用いたジャズの譜面によるアドリブ演奏者判別手法, 愛知県立大学, 2021年.
\item
岩下華穂, 初学者向けコンパイラheliumのエラーメッセージの調査と改良, 愛知県立大学, 2021年.
\item
林大輝, ゲームを対象とした関数型および命令型プログラミング言語の記述性の比較, 愛知県立大学, 2021年.
\item
渡邉悠太, Haskell初学者を対象としたプログラムの効率比較のための可視化環境, 愛知県立大学, 2021年.
\item
片瀬修, 機械学習を用いたコード進行に基づくメロディの自動作曲手法, 愛知県立大学, 2021年.
\item
石関祐輝, 純粋関数型プログラミングで開発できるguiフレームワーク, 愛知県立大学, 2021年.
\item
鈴木皓大, コミュニケーション支援ボードアプリを対象としたソフトウェアテスト, 愛知県立大学, 2021年.
\item
高橋一斗, 初学者のためのhaskellの数値型を対象とした自動型補完手法, 愛知県立大学, 2021年.
\item
冨久剛志, 機械学習を用いたメソッドの命名手法の評価, 愛知県立大学, 2020年.
\item
酒井正太, Codeworldを用いたプログラミング初学者用教育コンテンツ作成, 愛知県立大学, 2020年.
\item
井土雄太, 計算機を用いた講義を対象とする教育支援手法の提案, 愛知県立大学, 2020年.
\item
國廣伸志, Mipsを対象としたコンパイラ教育支援環境, 愛知県立大学, 2020年.
\item
松原真, 行列ゲームの完全解析を行うライブラリの開発, 愛知県立大学, 2020年.
\item
桂川昂己, Qrコードの画像処理による位置情報取得技術, 愛知県立大学, 2020年.
\item
櫻井拓斗, Javaの学習支援を目的とした自習用コースウェアの提案, 愛知県立大学, 2020年.
\item
辻知希, Xv6を対象としたos内部情報のリアルタイム可視化, 愛知県立大学, 2020年.
\item
中井舞人, プログラミング演習における自動正誤判定のための ミューテーション手法, 愛知県立大学, 2019年.
\item
中村博輝, 深層学習を用いた自動プログラミング手法の評価, 愛知県立大学, 2019年.
\item
加藤知樹, Haskellと対象とした先行評価を模したトレースの実現手法, 愛知県立大学, 2019年.
\item
山田航, Web ブラウザ上で動作する拡張可能な Haskell 処理系, 愛知県立大学, 2019年.
\item
村上大樹, 関数型言語を用いたosの実装手法の評価, 愛知県立大学, 2019年.
\item
森野紘平, Processingを対象とした初学者プログラミング教育のコンテンツ評価, 愛知県立大学, 2019年.
\item
若山敦裕, 練習問題自動生成ステムの改良に関する論文, 愛知県立大学, 2019年.
\item
中洲利基, ユーザによる既存分類に基づくナイーブベイズを用いた文書分類ツール, 愛知県立大学, 2018年.
\item
伊東忠彦, コンビネータパーサによる構文解析器における言語指向のエラー報告, 愛知県立大学, 2018年.
\item
堀内哲煕, Haskellプログラムへの状態モナドの自動挿入, 愛知県立大学, 2018年.
\item
安田省太郎, 誤回答事例を利用したhaskell演習における初学者へのフィードバック手法, 愛知県立大学, 2018年.
\item
安田翔哉, Computer Science Unpluggedを用いた基礎知識学習支援, 愛知県立大学, 2018年.
\item
山田裕太, ランダムテストを用いた近似的同値性検証によるライブラリ関数再定義の検出, 愛知県立大学, 2018年.
\item
稲熊亮介, プログラム読解力を身につけるための学習法の提案, 愛知県立大学, 2018年.
\item
章雲森, 留学生のためのプログラミング言語学習支援ツール, 愛知県立大学, 2018年.
\item
レーホンミン, ウェブメインコンテンツのレイアウトに依存しない抽出手法, 愛知県立大学, 2017年.
\item
井野天斗, 言語ランタイム開発ツールキットomrの評価および考察, 愛知県立大学, 2017年.
\item
加藤惠三, 文書検索を支援する補助検索ワードの提示手法, 愛知県立大学, 2017年.
\item
平田義就, Haskell初学者のためのブラウザで動作するturtleグラフィクス, 愛知県立大学, 2017年.
\item
若杉知樹, Haskellにおける型推論可能な単位付き演算, 愛知県立大学, 2017年.
\item
長尾隼多, プログラミング演習における学習支援のためのヒント機能提案, 愛知県立大学, 2017年.
\item
長谷川拓哉, E-Learning演習における学習意欲を刺激するリアルタイム解答状況提示, 愛知県立大学, 2017年.
\item
黒河聡, プログラミング教育用言語sunabaのプレイグラウンド環境, 愛知県立大学, 2017年.
\item
内山鷹介, Javascriptを実装言語としたhaskellのサブセット言語の実装, 愛知県立大学, 2016年.
\item
山下公希, 機能の対応関係に基づくjavascriptライブラリ移行手法, 愛知県立大学, 2016年.
\item
山崎將史, アルゴリズミックデバッグにおける正誤判定の効率化・半自動化, 愛知県立大学, 2016年.
\item
有田進作, Webフレームワークsnapにおけるhtmlテンプレートエンジンの機能拡張, 愛知県立大学, 2016年.
\item
粟野頁多, 初学者のための高階関数に着目したhaskellソースコード可視化手法, 愛知県立大学, 2016年.
\item
谷口雅明, 誤答から正解への修正事例を利用した初学者のための支援ツール, 愛知県立大学, 2016年.
\item
近藤司, 関数型言語に対する高階関数を含むライブラリ関数の振舞い検索, 愛知県立大学, 2016年.
\item
額田蓮, 既存webページ群からのビジュアルスニペットの抽出とそれを用いたwebデザインの生成手法, 愛知県立大学, 2016年.
\item
安藤貴哉, Moodleを用いたeラーニングコンテンツの制作, 愛知県立大学, 2014年.
\item
小嶋一成, {抽象度の高い記述を可能にする代数データ型によるC言語ソースのモデルの提案}, 愛知県立大学, 2014年.
\item
小林健太, {実例の分析結果の基づくコンパイルエラーに対する改善案の提示手法}, 愛知県立大学, 2014年.
\item
山田誠也, {プログラミング演習における解答の構文に基づく自動判別手法}, 愛知県立大学, 2014年.
\item
新川綾子, {プログラミング演習の誤答分類による適応的アドバイスの提示}, 愛知県立大学, 2014年.
\item
伊東宥, ``Haskellプログラムの学習支援を目的とした実行トレースの可視化手法,'' , 2013年.
\item
佐藤統悟, ``関数型プログラミングにおける並列化支援のための関数呼び出し木を用いたコスト近似手法,'' , 2013年.
\item
前田高志, ``多数の実例との照合による旋律に対するコード進行付与手法,'' , 2013年.
\item
西村将広, ``言語変換系を用いたソフトウェア開発におけるソースレベルデバッグ支援,'' , 2013年.
\item
伊藤達也, ``関数型言語アプリケーションを異なるプログラミングモデルに基づく環境で運用する手法,'' , 2012年.
\item
木村美月, ``関数型プログラミングの自習に適したe ラーニング環境の考察,'' , 2012年.
\item
梅村葵, ``軽量マークアップ言語を対象とした環境と言語に非依存な拡張環境,'' , 2012年.
\item
永井郁哉, ``ソフトウェア構築のモデル化と それに基づく依存関係の可視化,'' , 2012年.
\item
小川達也, ``旋律断片の接合による 楽曲編曲手法に関する研究,'' , 2011年.
\item
小林祐貴, ``並行動作型構文解析コンビネータライブラリへのエラー処理追加手法の提案,'' , 2011年.
\item
永井丈介, ``関数型言語の可視化に関する研究,'' , 2011年.
\item
松田圭広, ``Java プログラム理解支援のための Jvm の動作情報可視化手法の提案,'' , 2010年2月.
\item
山口晋矢, ``遅延評価に基づく関数型言語のコンパイラに関する研究,'' , 2010年2月.
\item
東祐太朗, ``既存web サイト群の構造分析による典型的構造の抽出,'' , 2010年2月.
\item
丹羽一平, ``アドオン開発の効率化をめざしたwebブラウザ動作の可視化,'' , 2009年.
\item
伏屋雄貴, ``ローカルデータベースを用いたwebアプリケーション設計手法の提案,'' , 2009年.
\item
小長谷康治, ``宣言的記述によるコード進行分析手法,'' , 2009年.
\item
竹内亮太郎, ``モデル検査における妥当性確認を目的とした並行システムの直観的な表現手法,'' , 2008年.
\item
藤崎洋子, ``クラスの対応関係に基づくライブラリ移行手法の提案,'' , 2008年.
\item
藤浦祥雅, ``アプリケーションの構造を軸とした学習項目グラフによるプラットフォーム学習支援,'' , 2008年.
\item
岩田知也, ``音楽理論理解のための楽曲解析システムの提案と実装,'' 　, volume  , number  ,   2007年.
\item
小野木浩子, ``モデル検査器ユーザビリティ向上のための入出力に対する支援手法,'' , 2007年.
\item
米倉康雄, ``学習支援を目的としたos動作の可視化,'' , 2007年.
\item
井上良太, スパニング木を利用したグラフの3次元表示, 　, 2007年.
\item
住田真作, ``前処理指令の依存関係に着目したソフトウェア管理支援,'' , 2006年.
\item
加古径吾, ``メソッド名とコメント文の対応関係を利用したメソッド名決定支援,'' , 2006年.
\item
大須賀慎一, ``Javaプログラムに対する動的解析情報リポジトリとその応用,'' , 2005年.
\item
清崎大輔, ``ソフトウェア開発におけるrssの応用,'' , 2005年.
\item
土井陽介, ``細粒度リポジトリのためのスクリプトバインディングとコーディングチェッカーへの応用,'' , 2004年.
\item
小川順平, ``帰納的学習を用いたxmlスキーマの統合に関する基礎的研究,'' , 2004年.
\item
後藤英斗, ``文脈に基づいたソースプログラムとドキュメント間の識別子の対応づけ手法,'' , 2004年.
\item
笠原史郎, ``パーサ開発における理解支援環境,'' , 2003年.
\item
藤田佳代, ``閲覧したweb文書の自動カテゴライズに関する研究,'' , 2003年.
\item
谷川里里, ``オブジェクトの挙動を視覚化するjavanavi,'' , 2003年.
\item
高橋透, ``Xmlを用いたcaseツールプラットフォームプラットフォーム,'' , 2003年.
\item
井上雅貴, ``分散開発のためのネットワーク透過なソフトウェアリポジトリ,'' , 2002年.
\item
伊吹聡子, ``データベース管理システムを用いたソフトウェアリポジトリの汎用化,'' , 2002年.
\item
斉藤孝志, ``ミューテーションスコアを利用したテストセット評価システム,'' , 2002年.
\item
沢田洋平, ``付箋によるコミュニケーション機能を備えたソフトウェアブラウザ,'' , 2002年.
\item
佐宗哲也, ``Caseツールのための依存解析モデル,'' , 2001年.
\item
大橋史武, ``プログラム理解支援のための書籍モデルの提案とそれに基づくプログラムブラウザの実現,'' , 2001年.
\item
幸田健一郎, ``関係データベースを用いたソフトウェアデータベースの高信頼化,'' , 2001年.
\item
藤澤健治, ``既存プログラムに対するデザインパターンの適用支援,'' , 2001年.
\end{enumerate}
\section{修士論文}
\label{sec:9}

\renewcommand{\labelenumi}{[\ref{sec:9}.\arabic{enumi}]}
\begin{enumerate}
\item
山田桃香, ``関数型プログラミング言語に対する初学者に寄り添う型推論系,'' 修士学位論文, 愛知県立大学大学院, 2024年.
\item
冨久剛志, ``Artを用いたアルゴリズミックデバッグの効率化手法,'' 修士学位論文, 愛知県立大学大学院,   2022年.
\item
國廣伸志, ``Mipsプロセッサ作成実験との連携を考慮したコンパイラ教育⽀援環境,'' 修士学位論文, 愛知県立大学大学院,   2022年.
\item
中井舞人, ``深層学習を用いた自動プログラミング手法の研究,'' 修士学位論文, 愛知県立大学大学院, 2021年.
\item
加藤知樹, ``Haskellを対象としたトレーサhatlightのghcにおける拡張と実装,'' 修士学位論文, 愛知県立大学大学院, 2021年.
\item
山田航, ``Haskell処理系hitsを用いたトレースによる評価順序の理解支援,'' 修士学位論文, 愛知県立大学大学院, 2021年.
\item
伊東忠彦, ``パーサコンビネータにおけるエラー報告からの最尤修正案の選択手法,'' 修士学位論文, 愛知県立大学大学院, 2020年.
\item
堀内哲煕, ``ドメインを考慮したパターン抽出によるコミットメッセージの作成支援,'' 修士学位論文, 愛知県立大学大学院, 2020年.
\item
若杉知樹, ``プロファイルの組み合わせによるhaskellプログラムのスペースリーク特定手法,'' 修士学位論文, 愛知県立大学大学院, 2019年.
\item
山﨑將史, ``Haskellにおける部分関数の特定とその安全化,'' 修士学位論文, 愛知県立大学大学院, 2018年.
\item
内山鷹介, ``機械学習を用いたソースコード整形手法,'' 修士学位論文, 愛知県立大学大学院, 2018年.
\item
有田進作, ``コード理解を目的とするrxjavaを用いたリアクティブプログラムの可視化手法,'' 修士学位論文, 愛知県立大学大学院, 2018年.
\item
額田蓮, ``再利用のためのwebページからのhtml/Css部分切り出し,'' 修士学位論文, 愛知県立大学大学院, 2018年.
\item
山田誠也, ``分岐カバレッジ向上のための静的解析を用いたテストケース自動生成,'' 修士学位論文, 愛知県立大学大学院, 2017年.
\item
新川綾子, ``Jcspプログラムのためのfdrに基づく検証支援環境,'' 修士学位論文, 愛知県立大学大学院, 2017年.
\item
伊東宥, ``Xml表現の類似度を用いた粒度可変のソースプログラムトレーサビリティツール,'' 修士学位論文, 愛知県立大学大学院, 2016年.
\item
西村将広, ``単一ドメインを対象としたソフトウェア中の単語の類似性抽出,'' 修士学位論文, 愛知県立大学大学院, 2016年.
\item
伊藤達也, ``コーディング規約自動検査器のためのdslの提案と実装,'' 修士学位論文, 愛知県立大学大学院, 2015年.
\item
梅村 葵, ``ミューテーション法の拡張によるテスト結果の変化に着目したソフトウェアの修正法提示手法,'' 修士学位論文, 愛知県立大学大学院, 2015年.
\item
永井郁哉, ``ソフトウェア構築ログのリポジトリとその応用,'' 修士学位論文, 愛知県立大学大学院, 2014年.
\item
小川達也, ``和音機能に基づいた対話的かつ即興的なコード進行生成手法,'' 修士学位論文, 愛知県立大学大学院, 2013年.
\item
丹羽一平, ``Apiの使用状況に基づくイディオムの抽出とそれを用いたソフトウェア自動分類,'' 修士学位論文, 愛知県立大学大学院, 2012年.
\item
山口晋矢, ``純粋関数型プログラミング言語の実行トレースを用いた理解支援,'' 修士学位論文, 愛知県立大学大学院, 2012年.
\item
東祐太朗, ``レンダリング結果の抽象化に基づくwebサイトデザインの共通点抽出法,'' 修士学位論文, 愛知県立大学大学院, 2012年.
\item
松田圭広, ``マルチスレッドプログラムの理解支援を目的とした動作情報の可視化手法,'' 修士学位論文, 愛知県立大学大学院, 2012年.
\item
槇本洋次, ``ソースコードブラウザのローカル化による使用性の向上,'' 修士学位論文, 愛知県立大学大学院, 2012年.
\item
小長谷康治, ``関数型言語を用いた宣言的な楽曲分析システム,'' 修士学位論文, 愛知県立大学大学院, 2011年.
\item
竹治勲, ``ソフトウェア理解支援のためのデータ構造の重要度評価手法,'' 修士学位論文, 愛知県立大学大学院, 2011年.
\item
竹内亮太郎, ``空欄補充問題の自動生成によるhaskellプログラミング学習支援環境,'' 修士学位論文, 愛知県立大学大学院, 2010年.
\item
藤崎洋子, ``Haskellプログラムの理解支援を目的とした型に基づく関心事の分離,'' 修士学位論文, 愛知県立大学大学院, 2010年.
\item
藤浦祥雅, ``リソースを考慮した依存グラフとサンプルプログラム自動生成への応用,'' 修士学位論文, 愛知県立大学大学院, 2010年.
\item
近藤裕佑, ``Webブラウザのcssレンダリングエンジンに対する網羅的な妥当性検査手法,'' 修士学位論文, 愛知県立大学大学院, 2009年.
\item
清崎大輔, ``Osgiに基づく拡張可能ソフトウェアにおける動作情報の取得手法とその応用,'' 修士学位論文, 愛知県立大学大学院, 2008年.
\item
大須賀慎一, ``オブジェクトの振る舞いをユーザ独自の演出で表現するプログラムプレゼンテーション,'' 修士学位論文, 愛知県立大学大学院, 2008年.
\item
堀田吉彦, ``Umlを用いたソースプログラムの視覚化とプログラム理解支援への応用,'' 修士学位論文, 愛知県立大学, 2006年.
\item
小川順平, ``帰納的学習を用いたxml文書のスキーマ変換器自動生成,'' 修士学位論文, 愛知県立大学, 2006年.
\item
栗田健士, ``形式的概念分析を用いたグルーピングによるcプログラム理解支援手法,'' 修士学位論文, 愛知県立大学, 2006年.
\item
高橋透, ``Xml により表現されたソースプログラム間の差分抽出,'' 修士学位論文, 愛知県立大学, 2005年.
\item
斉藤孝志, ``ミューテーション法を用いたテストセット構成支援に関する研究,'' 修士学位論文, 愛知県立大学, 2004年.
\item
沢田洋平, ``Webアノテーションとweblogを統合した個人の情報発信メディア,'' 修士学位論文, 愛知県立大学, 2004年.
\item
大橋史武, ``エピソード記憶に訴えるbookmark Less Bookmarkの提案,'' 修士学位論文, 愛知県立大学, 2003年.
\item
太田洋介, ``Cプログラムの理解を支援するナビゲーション機能,'' 修士学位論文, 愛知県立大学, 2003年.
\end{enumerate}
以上．
\end{document}