論文誌
|
藤浦祥雅, 大久保弘崇, 粕谷英人, 山本晋一郎
|
プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出
|
コンピュータソフトウェア
| 28(4, )
|
358-370
|
2011年
|
|
|
論文誌
|
竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎
|
モデル検査における妥当性確認を目的とした並行システムの表現手法
|
コンピュータソフトウェア
| 28(1)
|
293-299
|
2011年
|
| desc
|
国際会議
|
Yoshihiko Hotta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto, 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)
|
|
|
2011年11月
|
|
|
国際会議
|
Kunihiko Saito, Takeshi Kurita, Shinichiro Yamamoto
|
Interactive Program Modularization for Software Undeｒstanding via Formal Concept Analysis
|
Fourth International Conference On Concept Lattices and Their Applications
|
|
303--310
|
2006年10月
|
| 44.pdf
|
国内会議(査読付き)
|
山崎将史, 大久保弘崇, 粕谷英人, 山本晋一郎
|
アルゴリズミックデバッグにおける正誤判定の効率化と半自動化
|
ソフトウェア工学の基礎XXIII
| 42
|
109-114
|
2016年12月
|
|
|
国内会議(査読付き)
|
永井郁哉, 大久保弘崇, 粕谷英人, 山本晋一郎
|
ソフトウェア構築ログ解析器を用いたソースプログラム解析
|
ソフトウェアエンジニアリングシンポジウム2014論文集
| 2014
|
196-197
|
2014年8月
|
|
|
国内会議(査読付き)
|
竹治勲 and 大久保弘崇 and 粕谷英人 and 山本晋一郎 and 齋藤邦彦
|
大規模ソフトウェアの概要把握支援のための動的解析結果の静的解析を用いた一元化
|
ソフトウェアエンジニアリングシンポジウム2013論文集
| 2013
|
1-8
|
2013年9月
|
|
|
国内会議(査読付き)
|
永井郁哉 and 大久保弘崇 and 粕谷英人 and 山本晋一郎
|
実行履歴に基づくソフトウェア構築モデルの提案
|
ソフトウェアエンジニアリングシンポジウム2013論文集
| 2013
|
1-2
|
2013年9月
|
|
|
国内会議(査読付き)
|
藤崎洋子, 大久保弘崇, 粕谷英人, 山本晋一郎
|
ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法
|
ソフトウェア工学の基礎XVI
| 35
|
305-312
|
2009年11月
|
| 69.pdf
|
国内会議(査読付き)
|
竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎
|
モデル検査における妥当性確認を目的とした並行システムの表現手法
|
ソフトウェア工学の基礎XVI
| 35
|
119-130
|
2009年11月
|
| 70.pdf
|
研究会・全国大会等
|
神野 友輔, 大久保弘崇, 粕谷英人, 山本晋一郎
|
CPythonのコア機能抽出による新規プログラミング言語開発基盤の提案
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人
|
LLMによるCoq学習のためのデータセット形式
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
伊藤 菜摘, 大久保弘崇, 粕谷英人, 山本晋一郎
|
モデルマージを活用した小規模のプログラミング言語特化モデルの作成手法について
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
西村 優基, 大久保弘崇, 粕谷英人, 山本晋一郎
|
プログラミング演習における誤答分類のためのソースコードクラスタリング
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
小池 雄大, 大久保弘崇, 粕谷英人, 山本晋一郎
|
連鎖的なサーバーレス関数呼び出しにおけるWebAssemblyとローカル通信を用いた応答速度の改善
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
加藤 智子, 大久保弘崇, 粕谷英人, 山本晋一郎
|
Algebraic Effectsによる例外処理の抽象化と従来手法との比較
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
横山 穂奏, 大久保弘崇, 粕谷英人, 山本晋一郎
|
プロパティベーステストにおける木構造のテストケース生成支援
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
2025年11月
|
|
|
研究会・全国大会等
|
伊藤 菜摘, 山本晋一郎, 大久保弘崇, 粕谷英人
|
言語モデルの理解促進のためのGPT-2内部構造の視覚化手法の比較
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人
|
大規模言語モデルにおけるCoq定理証明の学習手法に関する研究
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
横山 穂奏, 山本晋一郎, 大久保弘崇, 粕谷英人
|
プロパティベーステストにおけるプロパティ作成支援の実現に向けた調査
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
神野 友輔, 山本晋一郎, 大久保弘崇, 粕谷英人
|
Pythonコンパイラの性能比較とコンパイラの改善について
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
加藤 智子, 山本晋一郎, 大久保弘崇, 粕谷英人
|
Algebraic Effectsを扱うHaskellライブラリの比較
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
西村 優基, 山本晋一郎, 大久保弘崇, 粕谷英人
|
プログラミング演習における誤答分類のためのソースコードクラスタリングに関する研究
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
小池 雄大, 山本晋一郎, 大久保弘崇, 粕谷英人
|
WebAssembly Component Model を用いた分散システムの提案
|
第22回情報学ワークショップ
|
|
|
2024年12月
|
|
|
研究会・全国大会等
|
山田桃香, 大久保弘崇, 粕谷英人, 山本晋一郎
|
関数型プログラミング言語に対する初学者に寄り添う型推論系
|
情報処理学会研究報告
| 2024-SE-216(14)
|
1-7
|
2024年3月
|
|
|
研究会・全国大会等
|
池田 竜之介, 山本 晋一郎, 大久保 弘崇, 粕谷 英人
|
ソースコードの生成を目的とした大規模言語モデルに対する学習データセット
|
情報処理学会研究報告
| 2024-SE-216(6)
|
1-8
|
2024年3月
|
|
|
研究会・全国大会等
|
伊藤 菜摘, 大久保 弘崇, 粕谷 英人, 山本 晋一郎
|
ソフトウェア開発のためのオープンソースLLMのファインチューニング
|
情報処理学会研究報告
| 2024-SE-216(5)
|
1-7
|
2024年3月
|
|
|
研究会・全国大会等
|
西村 優基, 大久保 弘崇, 粕谷 英人, 山本 晋一郎
|
プログラミング演習の指導におけるChatGPTを用いたプログラム修正ヒントの提案
|
情報処理学会研究報告
| 2024-SE-216(4)
|
1-8
|
2024年3月
|
|
|
研究会・全国大会等
|
横山 穂奏, 山本晋一郎, 大久保弘崇, 粕谷英人
|
ChatGPTによるプロパティベーステスト支援に関する研究
|
|
|
|
2024年
|
|
|
研究会・全国大会等
|
中川 海都, 山本晋一郎, 大久保弘崇, 粕谷英人
|
ChatGPTを用いたPygameZeroアプリの対話的開発手法
|
|
|
|
2024年
|
|
|
研究会・全国大会等
|
神野 友輔 and 山本晋一郎 and 大久保弘崇 and 粕谷英人
|
ビジュアルプログラミング言語のためのChatGPTを用いたプログラミング初学者支援
|
|
|
|
2024年
|
|
|
研究会・全国大会等
|
小池 雄大 and 山本晋一郎 and 大久保弘崇 and 粕谷英人
|
WebAssemblyのソースマップ生成ツールの実装と評価
|
|
|
|
2024年
|
|
|
研究会・全国大会等
|
加藤 智子 and 山本晋一郎 and 大久保弘崇 and 粕谷英人
|
プログラミング言語KokaにおけるAlgebraic Effectsに関する研究
|
|
|
|
2024年
|
|
|
研究会・全国大会等
|
山田 桃香, 粕谷英人, 大久保弘崇, 山本晋一郎
|
Haskell初学者の学習支援環境のための型推論系
|
第30回ソフトウェア工学の基礎ワークショップ
|
|
|
2023年11月
|
|
|
研究会・全国大会等
|
高橋 一斗, 大久保 弘崇, 粕谷 英人, 山本 晋一郎
|
型情報を用いたHoogle検索の使用性の向上
|
研究報告ソフトウェア工学（SE）
| 2023-SE-213(13)
|
1-7
|
2023年3月
|
|
|
研究会・全国大会等
|
石関 祐輝, 大久保 弘崇, 粕谷 英人, 山本 晋一郎
|
関数仕様を用いたプロパティ合成手法に関する研究
|
研究報告ソフトウェア工学（SE）
| 2023-SE-213(14)
|
1-8
|
2023年3月
|
|
|
研究会・全国大会等
|
黒野葵, 山本晋一郎, 大久保弘崇, 粕谷英人
|
高校情報Ⅰ授業用Pythonプログラミング教材作成
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
佐竹辰海, 山本晋一郎, 大久保弘崇, 粕谷英人
|
mdbookを用いたRustの演習付き入門コースを作成
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
下川巧, 山本晋一郎, 大久保弘崇, 粕谷英人
|
データベースを用いたQUIXOの解析
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
小出智也, 山本晋一郎, 大久保弘崇, 粕谷英人
|
プログラミング教育におけるテストケース問題作成の指針について
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
新留七彩, 山本晋一郎, 大久保弘崇, 粕谷英人
|
Haskell 初学者の学習支援環境の構築
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
遠藤圭人, 山本晋一郎, 大久保弘崇, 粕谷英人
|
２命令を備えたコンピュータによる学習教材の作成
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
横井翔, 山本晋一郎, 大久保弘崇, 粕谷英人
|
CSアンプラグドに基づいたプログラミング教材の提案
|
|
|
|
2023年
|
|
|
研究会・全国大会等
|
山田桃香, 山本晋一郎, 大久保弘崇, 粕谷英人
|
関数型プログラミング言語に対する型推論系に関する研究
|
第20回情報学ワークショップ
|
|
|
2022年12月
|
|
|
研究会・全国大会等
|
西村殊音, 山本晋一郎, 大久保弘崇, 粕谷英人
|
複数のプログラミング言語の比較による学習
|
第20回情報学ワークショップ
|
|
|
2022年12月
|
|
|
研究会・全国大会等
|
高橋一斗, 大久保弘崇, 粕谷英人, 山本晋一郎
|
Hoogleにおいて型クラスを候補として提示する関数検索手法
|
第19回情報学ワークショップ
|
|
|
2021年11月
|
|
|
研究会・全国大会等
|
林大輝, 山本晋一郎, 大久保弘崇, 粕谷英人
|
Haskellの型システムを用いた単位付き計算システムに関する研究
|
第19回情報学ワークショップ
|
|
|
2021年11月
|
|
|
研究会・全国大会等
|
山田航, 大久保弘崇, 粕谷英人, 山本晋一郎
|
Haskell処理系HiTSを用いたスペースリーク検出手法
|
ソフトウェア工学の基礎ⅩⅩⅤⅠ
| 45
|
201-202
|
2019年11月
|
|
|
研究会・全国大会等
|
大久保弘崇 and 山本晋一郎
|
ランダムテストを応用したプログラミング演習における答案の自動正誤判定機構
|
情報処理学会第77回全国大会講演論文集
| 4
|
529-530
|
2015年3月
|
|
|
研究会・全国大会等
|
東祐太朗, 粕谷英人, 大久保弘崇, 山本晋一郎
|
Webサイト群の構造分析による典型的構造の抽出法
|
第10回情報科学技術フォーラム(FIT2011)講演論文集, 第1分冊, B-024
|
|
295-301
|
2011年9月
|
| desc
|
研究会・全国大会等
|
竹内亮太郎 and 大久保弘崇 and 粕谷英人 and 山本晋一郎
|
空欄補充問題の自動生成によるHaskellプログラミング学習支援環境
|
情報処理学会研究報告
| 2011-SE-171(15 )
|
|
2011年3月
|
| desc
|
研究会・全国大会等
|
横山祐司, 日高隆博, 山本晋一郎, 小林隆志, 手嶋茂晴, 阿草清滋
|
バリエーション並行開発のための版管理ツールと統合開発環境
|
|
|
|
2010年5月
|
|
|
研究会・全国大会等
|
関文貴, 日高隆博, 山本晋一郎, 小林隆志, 手嶋茂晴, 阿草清滋
|
制御ソフトウェアの固定小数点演算化ツールの設計と実装
|
|
|
|
2010年5月
|
|
|
研究会・全国大会等
|
林英志, 日高隆博, 山本晋一郎, 小林隆志, 上原正太, 間瀬順一, 鈴村延保, 阿草清滋
|
メタ情報とコンテキスト情報を用いた入力補完機能とXPath入力への応用
|
|
|
|
2010年5月
|
|
|
研究会・全国大会等
|
大久保弘崇, 大須賀慎一, 山本晋一郎
|
ソフトウェアの振舞いを演出して表現するプログラムプレゼンテーション
|
|
|
|
2008年11月
|
| 68.pdf
|
研究会・全国大会等
|
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎
|
構造木の差分発見手法のパラメータ化に関する研究
|
電気関係学会東海支部連合大会
| O-404
|
|
2008年9月
|
|
|
研究会・全国大会等
|
清崎 大輔, 大久保 弘崇, 粕谷 英人, 山本 晋一郎
|
拡張可能ソフトウェアの動作情報を用いたプラグイン開発支援
|
情報処理学会研究報告, 2008-SE-159
| 2008(29)
|
25-32
|
2008年3月
|
| 67.pdf
|
研究会・全国大会等
|
栗田健士, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦
|
形式的概念分析を用いたグルーピングによるCプログラム理解支援手法
|
情報処理学会研究報告, 2007-SE-155
| 2007(33)
|
151--158
|
2007年3月
|
| 51.pdf
|
研究会・全国大会等
|
高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎
|
構文木に着目してXMLマークアップされたソースプログラム間の差分抽出
|
情報処理学会研究報告, 2006-SE-151
| 2006(35)
|
41--48
|
2006年3月
|
| 41.pdf
|
研究会・全国大会等
|
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦
|
Javaプログラムからのオブジェクトフローグラフの生成
|
情報学ワークショップ2005(WiNF 2005)論文集
|
|
25--31
|
2005年9月
|
| 38.pdf
|
研究会・全国大会等
|
沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎
|
WebアノテーションとWeblogを統合した個人の情報発信メディア
|
信学技報
| (WI2-2005-11)
|
1--6
|
2005年3月
|
| 37.pdf
|
研究会・全国大会等
|
後藤英斗, 大久保弘崇, 粕谷英人, 山本晋一郎
|
文脈に基づいたソースプログラムとドキュメント間の識別子対応付け手法
|
情報処理学会研究報告, 2005-SE-147
| 2005(29)
|
41--48
|
2005年3月
|
| 36.pdf
|
研究会・全国大会等
|
斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎
|
ミューテーション法を用いたテストセット構成支援に関する研究
|
情報処理学会研究報告, 2005-SE-147
| 2005(29)
|
49--56
|
2005年3月
|
| 35.pdf
|
研究会・全国大会等
|
笠原史郎, 大久保弘崇, 粕谷英人, 山本晋一郎
|
構文解析器の開発支援環境
|
情報処理学会研究報告, 2004-SE-144
| 2004(30)
|
55--60
|
2004年3月
|
| 34.pdf
|
研究会・全国大会等
|
太田洋介, 大久保弘崇, 粕谷英人, 山本晋一郎
|
Cプログラムの理解を支援するナビゲーション機能
|
情報処理学会研究報告, 2004-SE-144
| 2004(30)
|
61--66
|
2004年3月
|
| 32.pdf
|
研究会・全国大会等
|
斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎
|
ミューテーションスコアを利用したテストセット評価システム
|
ソフトウェアテストシンポジウム2004予稿集
|
|
107--112
|
2004年1月
|
|
|
研究会・全国大会等
|
沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎
|
付箋によるコミュニケーション機能を備えたソフトウェアブラウザ
|
信学技報
| 103(189(SS2003-8))
|
13--18
|
2003年7月
|
| 27.pdf
|
