Academic Journal
|
藤浦祥雅, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO
|
プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出
|
コンピュータソフトウェア
| 28(4, )
|
358-370
|
2011
|
|
|
Academic Journal
|
Ryotaro TAKEUCHI, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO
|
モデル検査における妥当性確認を目的とした並行システムの表現手法
|
コンピュータソフトウェア
| 28(1)
|
293-299
|
2011
|
| desc
|
International Conference
|
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)
|
|
|
November 2011
|
|
|
Domestic Conference
|
Masashi Yamazaki, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
Improving Efficiency by Semi-Automatic Right/Wrong Judgement in the Algorithmic Debugging
|
ソフトウェア工学の基礎XXIII
| 42
|
109-114
|
December 2016
|
|
|
Domestic Conference
|
Ikuya NAGAI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO
|
ソフトウェア構築ログ解析器を用いたソースプログラム解析
|
ソフトウェアエンジニアリングシンポジウム2014論文集
| 2014
|
196-197
|
August 2014
|
|
|
Domestic Conference
|
Isao TAKEJI and Hirotaka OHKUBO and Hideto KASUYA and Shinichiro YAMAMOTO and 齋藤邦彦
|
Summarization of Dynamic Analysis Result Using Static Analysis for Perspective Software Comprehension
|
ソフトウェアエンジニアリングシンポジウム2013論文集
| 2013
|
1-8
|
September 2013
|
|
|
Domestic Conference
|
Ikuya NAGAI and Hirotaka OHKUBO and Hideto KASUYA and Shinichiro YAMAMOTO
|
Proposing the Software Build Model Based on Execution History
|
ソフトウェアエンジニアリングシンポジウム2013論文集
| 2013
|
1-2
|
September 2013
|
|
|
Domestic Conference
|
藤崎洋子, 大久保弘崇, 粕谷英人, 山本晋一郎
|
ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法
|
ソフトウェア工学の基礎XVI
| 35
|
305-312
|
November 2009
|
| 69.pdf
|
Domestic Conference
|
竹内亮太郎, 粕谷英人, 大久保弘崇, 山本晋一郎
|
モデル検査における妥当性確認を目的とした並行システムの表現手法
|
ソフトウェア工学の基礎XVI
| 35
|
119-130
|
November 2009
|
| 70.pdf
|
Workshop
|
Ryota Isomura, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
LLMによるコーディング能力の評価手法の検討(P3A-9)
|
|
|
|
December 2025
|
|
|
Workshop
|
Rin Uchiyama, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
GHC のコンパイル過程に現れる中間表現の変換過程の可視化(P3A-13)
|
|
|
|
December 2025
|
|
|
Workshop
|
Hikaru Enomoto, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
MCPによるRAGの選択的情報活用と応答妥当性の向上に関する研究(P3A-10)
|
|
|
|
December 2025
|
|
|
Workshop
|
Ryotaro Nishi, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
型推論可能な生成AIを用いたデバッグ支援に関する研究(P3A-12)
|
|
|
|
December 2025
|
|
|
Workshop
|
Kodai Yamawaki, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
スネークゲームにおけるDQN学習の精度向上を目的とした状態情報と報酬設計の検討(P2B-16)
|
|
|
|
December 2025
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
CPythonのコア機能抽出による新規プログラミング言語開発基盤の提案
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
LLMによるCoq学習のためのデータセット形式
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
モデルマージを活用した小規模のプログラミング言語特化モデルの作成手法について
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
プログラミング演習における誤答分類のためのソースコードクラスタリング
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
連鎖的なサーバーレス関数呼び出しにおけるWebAssemblyとローカル通信を用いた応答速度の改善
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
Algebraic Effectsによる例外処理の抽象化と従来手法との比較
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
プロパティベーステストにおける木構造のテストケース生成支援
|
第32回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2025
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
言語モデルの理解促進のためのGPT-2内部構造の視覚化手法の比較
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
大規模言語モデルにおけるCoq定理証明の学習手法に関する研究
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
プロパティベーステストにおけるプロパティ作成支援の実現に向けた調査
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
Pythonコンパイラの性能比較とコンパイラの改善について
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
Algebraic Effectsを扱うHaskellライブラリの比較
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
プログラミング演習における誤答分類のためのソースコードクラスタリングに関する研究
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
WebAssembly Component Model を用いた分散システムの提案
|
第22回情報学ワークショップ
|
|
|
December 2024
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
関数型プログラミング言語に対する初学者に寄り添う型推論系
|
情報処理学会研究報告
| 2024-SE-216(14)
|
1-7
|
March 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
ソースコードの生成を目的とした大規模言語モデルに対する学習データセット
|
情報処理学会研究報告
| 2024-SE-216(6)
|
1-8
|
March 2024
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
ソフトウェア開発のためのオープンソースLLMのファインチューニング
|
情報処理学会研究報告
| 2024-SE-216(5)
|
1-7
|
March 2024
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
プログラミング演習の指導におけるChatGPTを用いたプログラム修正ヒントの提案
|
情報処理学会研究報告
| 2024-SE-216(4)
|
1-8
|
March 2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
ChatGPTによるプロパティベーステスト支援に関する研究
|
|
|
|
2024
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
ChatGPTを用いたPygameZeroアプリの対話的開発手法
|
|
|
|
2024
|
|
|
Workshop
|
and Shinichiro Yamamoto and Hirotaka Ohkubo and Hideto Kasuya
|
ビジュアルプログラミング言語のためのChatGPTを用いたプログラミング初学者支援
|
|
|
|
2024
|
|
|
Workshop
|
and Shinichiro Yamamoto and Hirotaka Ohkubo and Hideto Kasuya
|
WebAssemblyのソースマップ生成ツールの実装と評価
|
|
|
|
2024
|
|
|
Workshop
|
and Shinichiro Yamamoto and Hirotaka Ohkubo and Hideto Kasuya
|
プログラミング言語KokaにおけるAlgebraic Effectsに関する研究
|
|
|
|
2024
|
|
|
Workshop
|
, Hideto Kasuya, Hirotaka Ohkubo, Shinichiro Yamamoto
|
Haskell初学者の学習支援環境のための型推論系
|
第30回ソフトウェア工学の基礎ワークショップ
|
|
|
November 2023
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
型情報を用いたHoogle検索の使用性の向上
|
研究報告ソフトウェア工学（SE）
| 2023-SE-213(13)
|
1-7
|
March 2023
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
関数仕様を用いたプロパティ合成手法に関する研究
|
研究報告ソフトウェア工学（SE）
| 2023-SE-213(14)
|
1-8
|
March 2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
高校情報Ⅰ授業用Pythonプログラミング教材作成
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
mdbookを用いたRustの演習付き入門コースを作成
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
データベースを用いたQUIXOの解析
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
プログラミング教育におけるテストケース問題作成の指針について
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
Haskell 初学者の学習支援環境の構築
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
２命令を備えたコンピュータによる学習教材の作成
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
CSアンプラグドに基づいたプログラミング教材の提案
|
|
|
|
2023
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
関数型プログラミング言語に対する型推論系に関する研究
|
第20回情報学ワークショップ
|
|
|
December 2022
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
複数のプログラミング言語の比較による学習
|
第20回情報学ワークショップ
|
|
|
December 2022
|
|
|
Workshop
|
, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
Hoogleにおいて型クラスを候補として提示する関数検索手法
|
第19回情報学ワークショップ
|
|
|
November 2021
|
|
|
Workshop
|
, Shinichiro Yamamoto, Hirotaka Ohkubo, Hideto Kasuya
|
Haskellの型システムを用いた単位付き計算システムに関する研究
|
第19回情報学ワークショップ
|
|
|
November 2021
|
|
|
Workshop
|
Wataru Yamada, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
A Method of Detecting Space Leak
|
ソフトウェア工学の基礎ⅩⅩⅤⅠ
| 45
|
201-202
|
November 2019
|
|
|
Workshop
|
Yutaro Higashi, Hideto KASUYA, Hirotaka OHKUBO, Shinichiro YAMAMOTO
|
An Extraction Method for Typical Structure by Analyzing Structure of Web Sites
|
第10回情報科学技術フォーラム(FIT2011)講演論文集, 第1分冊, B-024
|
|
295-301
|
September 2011
|
| desc
|
Workshop
|
Ryotaro Takeuchi and Hirotaka Ohkubo and Hideto Kasuya and Shinichiro Yamamoto
|
空欄補充問題の自動生成によるHaskellプログラミング学習支援環境
|
情報処理学会研究報告
| 2011-SE-171(15 )
|
|
March 2011
|
| desc
|
Workshop
|
Yoshimasa Fujiura and Hirotaka Ohkubo and Hideto Kasuya and Hideto Kasuya
|
サンプルプログラム自動生成のためのリソースを考慮した依存グラフ
|
情報処理学会研究報告
| 2011-SE-171(11)
|
|
March 2011
|
| desc
|
Workshop
|
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎
|
構造木の差分発見手法のパラメータ化に関する研究
|
電気関係学会東海支部連合大会
| O-404
|
|
September 2008
|
|
|
Workshop
|
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦
|
動的解析を用いるCASEツールプラットフォームの情報取得について
|
電気関係学会東海支部連合大会
| O-266
|
|
September 2008
|
| desc
|
Workshop
|
Daisuke Kiyosaki, Hirotaka Ohkubo, Hideto Kasuya, ShinichirouYamamoto
|
Plugin Development Support Using Execution Information on Extensible Software
|
情報処理学会研究報告, 2008-SE-159
| 2008(29)
|
25-32
|
March 2008
|
| 67.pdf
|
Workshop
|
Takeshi KURITA, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO, Kunihiko SAITO
|
A Supporting Method for Understanding C Programs with Grouping Via Formal Concept Analysis
|
情報処理学会研究報告, 2007-SE-155
| 2007(33)
|
151--158
|
March 2007
|
| 51.pdf
|
Workshop
|
小川順平, 粕谷英人, 大久保弘崇, 山本晋一郎
|
構造の対応に基づいたXML文書のスキーマ変換器自動生成
|
信学技報
| 106(522)
|
1-6
|
February 2007
|
| 46.pdf
|
Workshop
|
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 齋藤邦彦
|
UMLをベースとしたJavaプログラムの視覚化における手続き的処理部の表現について
|
信学技報
| 106(522)
|
43-48
|
February 2007
|
| 47.pdf
|
Workshop
|
Tooru TAKAHASHI, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO
|
Change Detection for Case Tool of Markup Language for Source Program
|
情報処理学会研究報告, 2006-SE-151
| 2006(35)
|
41--48
|
March 2006
|
| 41.pdf
|
Workshop
|
堀田吉彦, 大久保弘崇, 粕谷英人, 山本晋一郎, 斉藤邦彦
|
Javaプログラムからのオブジェクトフローグラフの生成
|
情報学ワークショップ2005(WiNF 2005)論文集
|
|
25--31
|
September 2005
|
| 38.pdf
|
Workshop
|
沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎
|
WebアノテーションとWeblogを統合した個人の情報発信メディア
|
信学技報
| (WI2-2005-11)
|
1--6
|
March 2005
|
| 37.pdf
|
Workshop
|
Hideto GOTO, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO
|
A Method for Relating Identifiers between Source Programs and Documents Using Their Contexts
|
情報処理学会研究報告, 2005-SE-147
| 2005(29)
|
41--48
|
March 2005
|
| 36.pdf
|
Workshop
|
Takashi SAITO, Hirotaka OHKUBO, Hideto KASUYA, Shinichiro YAMAMOTO
|
Test Set Construction Method Based on Mutation Testing
|
情報処理学会研究報告, 2005-SE-147
| 2005(29)
|
49--56
|
March 2005
|
| 35.pdf
|
Workshop
|
Shiro Kasahara, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
The Interactive Browser and Comprehension Assistant for Yacc Grammar Files
|
情報処理学会研究報告, 2004-SE-144
| 2004(30)
|
55--60
|
March 2004
|
| 34.pdf
|
Workshop
|
Yosuke Ohta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto
|
The Navigation Feature to Support Understanding C Programs
|
情報処理学会研究報告, 2004-SE-144
| 2004(30)
|
61--66
|
March 2004
|
| 32.pdf
|
Workshop
|
斉藤孝志, 大久保弘崇, 粕谷英人, 山本晋一郎
|
ミューテーションスコアを利用したテストセット評価システム
|
ソフトウェアテストシンポジウム2004予稿集
|
|
107--112
|
January 2004
|
|
|
Workshop
|
沢田洋平, 大久保弘崇, 粕谷英人, 山本晋一郎
|
付箋によるコミュニケーション機能を備えたソフトウェアブラウザ
|
信学技報
| 103(189(SS2003-8))
|
13--18
|
July 2003
|
| 27.pdf
|
