PMAN - Paper management system

Frequent tags in this search: method^:5 software^:4 programs^:3 understanding^:3 analysis^:2 c^:2 comprehension^:2 dynamic^:2 execution^:2 information^:2 source^:2 static^:2 support^:2 algorithmic^:1 analyzing^:1 assistant^:1 better^:1 browser^:1 build^:1 case^:1 change^:1 concept^:1 construction^:1 contexts^:1 debugging^:1 detecting^:1 detection^:1 development^:1 diagrams^:1 documents^:1

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

Academic Journal

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

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

International Conference

[1] 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.

Domestic Conference

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

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

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

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

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

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

Workshop

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[51] Hirotaka OHKUBO, Shinichiro YAMAMOTO, "ランダムテストを応用したプログラミング演習における答案の自動正誤判定機構," 情報処理学会第77回全国大会講演論文集, volume 4, pages 529-530 March 2015.

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

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

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

[55] Hirotaka OHKUBO, Shinichi OSUGA, Shinichiro YAMAMOTO, "ソフトウェアの振舞いを演出して表現するプログラムプレゼンテーション," , November 2008. [68.pdf]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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