情報処理学会プログラミング研究会 – 第154回研究発表会
情報処理学会 第154回プログラミング研究発表会
日程：2025年6月12日（木）～13日（金）
会場：サイバーエージェント＠渋谷スクランブルスクエアおよびオンラインのハイブリッド開催
担当：佐藤 重幸（電気通信大学），上里 友弥（サイバーエージェント）
発表申込フォーム：https://forms.gle/n2QNRxC7n8c2dnKV6
問合せ先： ipsj-pro-2025-1-organizer@googlegroups.com
- 発表募集
- 発表申込締切：2025年4月17日
- 投稿論文締切：2025年5月8日
- 発表予稿締切：2025年6月6日
- 参加申込
- 参加申込をされた方に予稿やオンライン参加方法をご案内いたします
- 参加申込は当日も受けつけております
- 参加費は無料です
- 現地参加される方は，別途入場事前登録が必要です
- 可能な限り，開催前日夕方までに登録をお済ませ下さい
- 登録情報は渋谷スクランブルスクエア17Fから先に進むパスの発行に用います
- パスの受け渡しには，氏名と顔写真が載っている身分証による本人確認が必要です
- 身分証の例：所属機関の発行する職員証，学生証，マイナンバーカード，健康保険証，運転免許証，パスポート，名刺
- 渋谷駅から会場への道案内
- 懇親会
プログラム
- 1件あたり45分（発表25分，質疑・討論20分）（短い発表は発表20分，質疑・討論10分）
- ○印が登壇者です．
6月12日（木）
セッション1: 14:00–15:30 [座長：佐藤 重幸]
2025-1-(1): 14:00–14:45
An Introduction to the Geometry of Interaction Machine
○福田 陽介（京都橘大学）
The Geometry of Interaction (shortly, GoI) semantics is originally discovered by Girard to give a semantics of linear logic. It is obtained as a denotational model, yet captures the “computational dynamics” of proof normalization in linear logic; and there are various applications to give abstract machines for the lambda-calculus. However, it seems that these results are mostly known to experts in this field. Thus, this talk aims to give a brief introduction to the theory and application of the GoI machine for a wider audience, assuming only a basic familiarity with the simply typed lambda-calculus.
2025-1-(2): 14:45–15:30
正規言語の分解定理と近似理論
○新屋 良磨（秋田大学）
Krohn-Rhodesの分解定理は，任意の正規言語が星無し言語（star-free language）と群言語（group language）の「ある種の組合せ」で表現できることを述べている．この分解定理によると，星無し言語（＝一階述語論理で定義可能な言語）と群言語（＝有限群の逆像として表現できる言語）は正規言語の部分言語クラスの「２大巨頭」とみなせる．本講演では，星無し言語と群言語に関する研究の歴史を概説し，ここ最近の講演者の研究テーマである「可測性」を通じて見えてきたこの２大巨頭の新たな側面について紹介する．
セッション2: 15:45–17:00 [座長：新屋 良磨]
2025-1-(3): 15:45–16:15（短い発表）
Learning trees for the advanced information theory
○近藤 恵理（北九州市立大学大学院）
Programming has a possibility to be divided into two or three ways for us to choose next choices, which will build a neural networking that Hugging Face develops the tree. It functions that there has been to be reinforcement. Language learning devices both in English and Japanese might not have had each free choice to next proceeding one as making a tree on interpretations. If a person has a correct answer choice on a phonetic sign of /a/ between train and cat, one may face a next question on a choice between train and eight. However, when another person has a wrong answer on it, one will look at another next question on a choice between cat and ant on divisions of alphabets’ sounds that do not has a correspondence with each letter which is forming word. The learning tree can be certainly made, then the learning reinforcement on individual mind must have a strengthen for more high intelligences. Moreover, it may be possible to make a conversation shot on programming.
2025-1-(4): 16:15–17:00
Disproving the Termination of O-like Combinators by Tree Automata and its Application
○岩見 宗弘（岩手県立大学） 中野 圭介（東北大学）
Smullyan introduced many combinators, including the combinators M, O, and P. Recently, we showed that P is not terminating by a tree automaton using our SAT-based implementation. From observations on the results, we found similarities in the form of the M, O, and P rules, as well as similarities of the terms that disprove their termination. In addition, Curry and Feys introduced a family of combinators S_n. In this paper, we disprove the termination of a family of combinators that, generalizes the combinators M, O, and P, by a family of tree automata. Furthermore, we disprove the termination of the family of the combinators S_n by family of tree automata.
懇親会: 19:00–
クラフトビールタップ
渋谷ストリーム 3F（会場からの道案内）
6月13日（金）
セッション3: 10:00–11:45 [座長：森畑 明昌]
2025-1-(5): 10:00–10:30（短い発表）
Dockerを利用したプログラミング採点支援、提出管理システムの開発と運用
○岡本 祐希 篠埜 功（芝浦工業大学）
プログラミング教育の普及に伴い、課題の採点や管理を効率化する必要性が高まっている。 AtCoder等で用いられている自動採点システムは効率的だが、些細な出力の違いを誤答と判定する問題がある。 芝浦工業大学の「プログラミング入門2」では、約100名の履修者を10班に分け、各班にTAを割り当てているが、従来はTAが学生のソースコードを個別にダウンロードし、コンパイル、実行して確認していた。 本発表では、TAの負担軽減を目的として開発し、2024年9月から運用を開始した採点支援、提出管理システムについて報告する。 本システムはDockerを用いて提出プログラムを安全に実行し、複数のテストケースを実行して期待する出力と比較する。 また、Google OAuthによるユーザ認証、署名付きJWTによるセッション管理、細分化された権限設定を実現し、デバッグシステムとの連携など拡張性も備えている。
2025-1-(6): 10:30–11:00（短い発表）
Hybrid Simulation for Accurate Whole-Application Simulation of Processing-in-Memory Programs
○Ruochong Han（Ritsumeikan University） Tomoharu Ugawa（The University of Tokyo） Soramichi Akiyama（Ritsumeikan University）
Processing-in-Memory (PIM) architectures, such as UPMEM, improve performance and energy efficiency by reducing data movement. However, developing PIM programs is challenging due to the lack of fully-featured simulators. Currently, the official simulator provides whole-application simulation but is not cycle-accurate. On the other hand, a third-party simulator provides cycle-accurate simulation but cannot simulate whole applications. To achieve accurate whole-application simulation, we propose a hybrid simulation methodology that combines both simulators. We implemented a prototype system and demonstrated its feasibility using simple applications.
2025-1-(7): 11:00–11:45
言語間転移を活用した日本語のコード生成性能の向上に向けた調査
○西潟 優羽 伊東 和香 佐藤 美唯（日本女子大学大学院理学研究科数理物性構造科学専攻） 倉光 君郎（日本女子大学理学部数理情報科学科）
近年，LLMによるコード生成への関心が高まる中，使用する自然言語によって性能が異なることが確認されている．その要因の一つは，LLMの事前学習に使用されるデータ量が英語と非英語言語間で大きな差がある点である．そこで，LLMが英語中心のデータを学習し獲得した知識を非英語言語へ転移させる言語間転移の活用が期待される．我々は，比較的少量のデータで可能な指示調整に着目し，言語間転移を促進させ，日本語のコード生成性能を向上させることを目指す．本研究では，LLMが日本語の入力を内部的に英語へ翻訳してから推論している内部翻訳仮説を利用した2つの指示調整手法を提案する．提案手法は，英語と日本語の対訳構造を導入した対訳指示調整，さらに日本語から英語への翻訳を促す指示を挿入した対訳推論指示調整である．本論文では，提案手法と既存手法を含む計6種類の指示調整を3種類のモデルに適用し，コード生成性能への影響を調査した結果を報告する．
Last update: 2025-06-12
情報処理学会 プログラミング研究会 