【参加募集】第159回プログラミング研究発表会
12 views
Skip to first unread message
Yuya Uezato
May 17, 2026, 4:16:30 PM (4 days ago) May 17
to ipsj-pro...@googlegroups.com, swopp-a...@googlegroups.com, sono...@googlegroups.com, jsss...@fos.kuis.kyoto-u.ac.jp, logi...@fos.kuis.kyoto-u.ac.jp
皆様
（重複してお受け取りの場合はご容赦ください）
第159回プログラミング研究発表会担当、
サイバーエージェントの上里です。
第159回プログラミング研究発表会（PRO-2026-1）を
6/4（木）〜 6/5（金）に
サイバーエージェント（渋谷スクランブルスクエア）および
オンラインにて、ハイブリッド形式で開催いたします。
参加費は無料です。
多くの皆様のご参加を心よりお待ちしております。
=======
情報処理学会 第159回プログラミング研究発表会（PRO-2026-1）参加募集
https://sigpro.ipsj.or.jp/pro2026-1/
日程：2026年6月4日（木）～5日（金）
会場：サイバーエージェント セミナールーム
渋谷スクランブルスクエア オフィスビル 21階
https://shibuya-scramble-square-office.com/building/
およびオンラインのハイブリッド開催
参加費：無料
プログラム: https://sigpro.ipsj.or.jp/pro2026-1/
【参加申し込み方法】
下記のページよりお申し込みください。
https://www.ipsj.or.jp/kenkyukai/event/pro159.html
参加申込をされた方には、後日、予稿集やオンライン参加方法（Zoomミーティング）を
ご案内いたします。
【現地参加の方へ】
今回、現地でのご参加を希望される方は、
*事前入場登録* ならびに *身分証のご持参* をお願いいたします。
事前登録は、開催2日前 6/2（火）の夕方までにお済ませください。
https://forms.gle/WJeYDhVP8TU7UquD7
【懇親会】
初日（6月4日）の発表会終了後、現地にて懇親会を予定しております。
懇親会参加をご希望の方は、上記の事前登録フォームに
懇親会参加希望としてご提出ください。
懇親会に参加される方は、会場の人数調整のため
可能な限り 5/29（金） までにご登録していただけると大変助かります。
なお、懇親会会場への詳細な道順は当日共有いたします。
【プログラム】
* 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分，質疑・討論10分）
* ○印が登壇者です．
# 6月4日（木）
## セッション1：10:30–11:45
2026-1-(1): 10:30–11:00 （短い発表）
「プログラム合成による高位合成向け再帰除去」
○田中 泉生（東京大学）
酒寄 健（東京大学）
高前田 伸也（東京大学）
小林 直樹（東京大学）
2026-1-(2): 11:00–11:45
「Z3由来の特徴を用いたSMTソルバ選択の改善可能性の検証」
○高野 保真（北里大学 一般教育部）
## セッション2：13:15–14:45
2026-1-(3): 13:15–14:00
「LLMは未知のプログラミング言語でコードを書けるか？」
○西潟 優羽（日本女子大学）
森部 七海（日本女子大学）
倉光 君郎（日本女子大学）
2026-1-(4): 14:00–14:45
「小さな言語でも同じことが起きるのか：Gitignoreの誤解釈とDockerignoreの誤設定の調査」
○中丸 智貴（芝浦工業大学工学部）
## セッション3：15:00–16:30
2026-1-(5): 15:00–15:45
「モデル図に対する視覚言語モデルの理解能力調査 ― 商用VLMとMLX上のオープンソースVLMの比較 ―」
○宮田 侑佳（日本女子大学）
森部 七海（日本女子大学）
小原 有以（日本女子大学）
倉光 君郎（日本女子大学）
2026-1-(6): 15:45–16:30
「多重量化文の理解支援に向けた可視化プログラムの検討」
○福田 陽介（京都橘大学）
懇親会：19:00–21:00
# 6月5日（金）
## セッション4：10:30–12:00
2026-1-(7): 10:30–11:15
「Lean 4におけるTagless Final DSLインタプリタの記述と検証」
○新田 圭祐（筑波大学）
2026-1-(8): 11:15–12:00
「Interpreter Implementation of the Multi-Modal Typed Quantum-Classical
Hybrid Programming Language for Distributed Execution」
○Shota Arakaki (Joint Graduate School of Mathematics for Innovation,
Kyushu University)
Masao Hirokawa (Faculty of Information Science and Electrical
Engineering, Kyushu University)
## セッション5：13:30–15:00
2026-1-(9): 13:30–14:15
「An efficient and correct implementation of a scheduler for project
presentations in Idris」
○Julian Beekmann (Hiroshima City University)
Hideyuki Kawabata (Hiroshima City University)
2026-1-(10): 14:15–15:00
「正規表現マッチングのメモ化アルゴリズムのDafnyによる実装と検証」
木下 まひな（東京科学大学情報理工学院）
○南出 靖彦（東京科学大学情報理工学院）
## セッション6：15:15–16:45
2026-1-(11): 15:15–16:00
「出版/購読型通信を用いたElixir言語のプロセスマイグレーション」
○菊池 豊（高知工科大学）
髙瀬 英希（東京大学）
細合 晋太郎（ものつくり大学）
西内 一馬（シティネット）
松嶋 聡（ソフトバンク）
2026-1-(12): 16:00–16:45
「粒子群最適化に基づく帰納論理プログラミングの高速化」
○大河原 萌子（東京理科大学創域理工学研究科情報計算科学専攻）
中澤 朋（東京理科大学創域理工学研究科情報計算科学専攻）
小原 杏介（無所属）
滝本 宗宏（東京理科大学創域情報学部情報理工学科）
クロージング：16:45–17:00
=======
問い合わせ先: E-mail: ipsj-pro-202...@googlegroups.com
担当者： 上里 友弥（サイバーエージェント）, 佐藤 重幸（電気通信大学）
（重複してお受け取りの場合はご容赦ください）
第159回プログラミング研究発表会担当、
サイバーエージェントの上里です。
第159回プログラミング研究発表会（PRO-2026-1）を
6/4（木）〜 6/5（金）に
サイバーエージェント（渋谷スクランブルスクエア）および
オンラインにて、ハイブリッド形式で開催いたします。
参加費は無料です。
多くの皆様のご参加を心よりお待ちしております。
=======
情報処理学会 第159回プログラミング研究発表会（PRO-2026-1）参加募集
https://sigpro.ipsj.or.jp/pro2026-1/
日程：2026年6月4日（木）～5日（金）
会場：サイバーエージェント セミナールーム
渋谷スクランブルスクエア オフィスビル 21階
https://shibuya-scramble-square-office.com/building/
およびオンラインのハイブリッド開催
参加費：無料
プログラム: https://sigpro.ipsj.or.jp/pro2026-1/
【参加申し込み方法】
下記のページよりお申し込みください。
https://www.ipsj.or.jp/kenkyukai/event/pro159.html
参加申込をされた方には、後日、予稿集やオンライン参加方法（Zoomミーティング）を
ご案内いたします。
【現地参加の方へ】
今回、現地でのご参加を希望される方は、
*事前入場登録* ならびに *身分証のご持参* をお願いいたします。
事前登録は、開催2日前 6/2（火）の夕方までにお済ませください。
https://forms.gle/WJeYDhVP8TU7UquD7
【懇親会】
初日（6月4日）の発表会終了後、現地にて懇親会を予定しております。
懇親会参加をご希望の方は、上記の事前登録フォームに
懇親会参加希望としてご提出ください。
懇親会に参加される方は、会場の人数調整のため
可能な限り 5/29（金） までにご登録していただけると大変助かります。
なお、懇親会会場への詳細な道順は当日共有いたします。
【プログラム】
* 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分，質疑・討論10分）
* ○印が登壇者です．
# 6月4日（木）
## セッション1：10:30–11:45
2026-1-(1): 10:30–11:00 （短い発表）
「プログラム合成による高位合成向け再帰除去」
○田中 泉生（東京大学）
酒寄 健（東京大学）
高前田 伸也（東京大学）
小林 直樹（東京大学）
2026-1-(2): 11:00–11:45
「Z3由来の特徴を用いたSMTソルバ選択の改善可能性の検証」
○高野 保真（北里大学 一般教育部）
## セッション2：13:15–14:45
2026-1-(3): 13:15–14:00
「LLMは未知のプログラミング言語でコードを書けるか？」
○西潟 優羽（日本女子大学）
森部 七海（日本女子大学）
倉光 君郎（日本女子大学）
2026-1-(4): 14:00–14:45
「小さな言語でも同じことが起きるのか：Gitignoreの誤解釈とDockerignoreの誤設定の調査」
○中丸 智貴（芝浦工業大学工学部）
## セッション3：15:00–16:30
2026-1-(5): 15:00–15:45
「モデル図に対する視覚言語モデルの理解能力調査 ― 商用VLMとMLX上のオープンソースVLMの比較 ―」
○宮田 侑佳（日本女子大学）
森部 七海（日本女子大学）
小原 有以（日本女子大学）
倉光 君郎（日本女子大学）
2026-1-(6): 15:45–16:30
「多重量化文の理解支援に向けた可視化プログラムの検討」
○福田 陽介（京都橘大学）
懇親会：19:00–21:00
# 6月5日（金）
## セッション4：10:30–12:00
2026-1-(7): 10:30–11:15
「Lean 4におけるTagless Final DSLインタプリタの記述と検証」
○新田 圭祐（筑波大学）
2026-1-(8): 11:15–12:00
「Interpreter Implementation of the Multi-Modal Typed Quantum-Classical
Hybrid Programming Language for Distributed Execution」
○Shota Arakaki (Joint Graduate School of Mathematics for Innovation,
Kyushu University)
Masao Hirokawa (Faculty of Information Science and Electrical
Engineering, Kyushu University)
## セッション5：13:30–15:00
2026-1-(9): 13:30–14:15
「An efficient and correct implementation of a scheduler for project
presentations in Idris」
○Julian Beekmann (Hiroshima City University)
Hideyuki Kawabata (Hiroshima City University)
2026-1-(10): 14:15–15:00
「正規表現マッチングのメモ化アルゴリズムのDafnyによる実装と検証」
木下 まひな（東京科学大学情報理工学院）
○南出 靖彦（東京科学大学情報理工学院）
## セッション6：15:15–16:45
2026-1-(11): 15:15–16:00
「出版/購読型通信を用いたElixir言語のプロセスマイグレーション」
○菊池 豊（高知工科大学）
髙瀬 英希（東京大学）
細合 晋太郎（ものつくり大学）
西内 一馬（シティネット）
松嶋 聡（ソフトバンク）
2026-1-(12): 16:00–16:45
「粒子群最適化に基づく帰納論理プログラミングの高速化」
○大河原 萌子（東京理科大学創域理工学研究科情報計算科学専攻）
中澤 朋（東京理科大学創域理工学研究科情報計算科学専攻）
小原 杏介（無所属）
滝本 宗宏（東京理科大学創域情報学部情報理工学科）
クロージング：16:45–17:00
=======
問い合わせ先: E-mail: ipsj-pro-202...@googlegroups.com
担当者： 上里 友弥（サイバーエージェント）, 佐藤 重幸（電気通信大学）
Reply all
Reply to author
Forward
0 new messages