一般セッション

[2L4-GS-1] 基礎・理論：

2025年5月28日(水) 13:40 〜 15:20 L会場 (会議室1007)

座長：中口悠輝（NEC）

+全てマイスケジュールに登録

13:40 〜 14:00

[2L4-GS-1-01] LLMにおける創発の理論

〇一色智裕¹ (1. ファイナンシャルテクノロジーシステム株式会社)

14:00 〜 14:20

[2L4-GS-1-02] グラフィカルなネットワークを用いた論理思考と圏論による精緻化

〇深田善樹¹ (1. トヨタ自動車株式会社)

14:20 〜 14:40

[2L4-GS-1-03] 食べ物の好みの脳計算過程

深層学習によるモデリング

〇青木悠飛¹、遠山朝子¹、山下祐一²、鈴木真介¹ (1. 一橋大学、2. 国立精神・神経医療研究センター)

14:40 〜 15:00

[2L4-GS-1-04] 損失分布の統制と滑らかなキャリブレーション誤差

〇ホーランドマシュー¹ (1. 大阪大学)

15:00 〜 15:20

[2L4-GS-1-05] 2サンプル平均化データに基づく非線形回帰モデルの学習

〇松野竜太¹、北岡旦¹、佐久間啓太¹、廣川暢一¹ (1. 日本電気株式会社)

一般セッション

[2L5-GS-1] 基礎・理論：

2025年5月28日(水) 15:40 〜 17:20 L会場 (会議室1007)

座長：中臺一博（東京科学大学）

+全てマイスケジュールに登録

15:40 〜 16:00

[2L5-GS-1-01] 車両軌跡の大規模データを用いた人の移動パターンのネットワーク分析

〇佐藤遼希¹、藤田幸久²、鳥海不二夫¹ (1. 東京大学、2. トヨタ自動車株式会社)

16:00 〜 16:20

[2L5-GS-1-02] BDI logic推論系GrAssBox Proverの提案と評価

〇権藤拓¹、坂地泰紀¹、野田五十樹¹ (1. 北海道大学)

16:20 〜 16:40

[2L5-GS-1-03] 潜在意図の後推定による多様な方策の生成モデル

〇甲野佑^1,2 (1. 株式会社ディー・エヌ・エー、2. 東京電機大学)

16:40 〜 17:00

[2L5-GS-1-04] 代数統計的アプローチによる言語モデルの構造学習手法の開発

〇前田晃弘^1,3、鳥居拓馬²、日髙昇平¹ (1. 北陸先端科学技術大学院大学、2. 東京電機大学、3. 日本学術振興会)

17:00 〜 17:20

[2L5-GS-1-05] グレード付STIT様相演算子による矛盾耐性を備えた義務推論

〇中山陽太郎¹、青木善貴¹、赤間世紀² (1. BIPROGY株式会社、2. シーリパブリック会社)

一般セッション

[3L4-GS-1] 基礎・理論：

2025年5月29日(木) 13:40 〜 15:20 L会場 (会議室1007)

座長：赤木康紀（日本電信電話株式会社人間情報研究所）

+全てマイスケジュールに登録

講演取消

13:40 〜 14:00

[3L4-GS-1-01] 人生の充実度と価値指数の算式

人文学ＡＩアルゴリズムの試み

〇陳華毅¹ (1. 東華堂)

14:00 〜 14:20

[3L4-GS-1-02] 順序符号化アルゴリズムの実装に関する一考察

〇船木泰平¹、堀岡真未、宋剛秀¹ (1. 神戸大学)

14:20 〜 14:40

[3L4-GS-1-03] 3値制約充足問題における遷移問題：解空間が多数決演算で閉じる場合

〇弘中創¹、木村慧¹、鈴木顕²、横尾真¹ (1. 九州大学、2. 東北大学)

14:40 〜 15:00

[3L4-GS-1-04] 温度並列シミュレーテッドアニーリングによる大域的な解探索

〇川瀬英治¹、玉井秀明¹ (1. 沖電気工業株式会社)

15:00 〜 15:20

[3L4-GS-1-05] テンソル分解を用いた制約付き離散ブラックボックス最適化手法の検討

〇尾上圭介^1,2、小島諒介^2,3 (1. 奈良先端科学技術大学院大学、2. 京都大学、3. 理化学研究所生命機能科学研究センター)

一般セッション

[3L5-GS-1] 基礎・理論：

2025年5月29日(木) 15:40 〜 17:20 L会場 (会議室1007)

座長：木原孝輔（NEC）

+全てマイスケジュールに登録

15:40 〜 16:00

[3L5-GS-1-01] 四次元知覚検証に向けて

四次元空間の平面射影とその直交変換の基礎数理

〇日高昇平¹、鳥居拓馬²、高橋康介³ (1. 北陸先端科学技術大学院大学、2. 東京電機大学、3. 立命館大学)

16:00 〜 16:20

[3L5-GS-1-02] 消防隊員の勤務表作成に関する事例研究

〇沖本天太¹、山岡俊介¹ (1. 神戸大学)

16:20 〜 16:40

[3L5-GS-1-03] コンジョイント分析を用いた満足度に基づくクルー割当問題

〇西谷郁羽¹、峰行晃太朗¹、沖本天太 ¹、酒井裕規 ¹、水谷淳¹ (1. 神戸大学)

16:40 〜 17:00

[3L5-GS-1-04] 新人パイロットの教育・育成を考慮したクルー割当問題

〇峰行晃太朗¹、西谷郁羽¹、沖本天太¹、酒井裕規¹、水谷淳¹ (1. 神戸大学)

17:00 〜 17:20

[3L5-GS-1-05] Epoch-wise Double Descentにおける正誤ラベルに対する学習過程差の解析

〇久保友樹¹、飯田佑輔¹ (1. 新潟大学)

セッション一覧

一般セッション » GS-1 基礎・理論

[2L4-GS-1] 基礎・理論：

[2L4-GS-1-01] LLMにおける創発の理論

[2L4-GS-1-02] グラフィカルなネットワークを用いた論理思考と圏論による精緻化

[2L4-GS-1-03] 食べ物の好みの脳計算過程

深層学習によるモデリング

[2L4-GS-1-04] 損失分布の統制と滑らかなキャリブレーション誤差

[2L4-GS-1-05] 2サンプル平均化データに基づく非線形回帰モデルの学習

[2L5-GS-1] 基礎・理論：

[2L5-GS-1-01] 車両軌跡の大規模データを用いた人の移動パターンのネットワーク分析

[2L5-GS-1-02] BDI logic推論系GrAssBox Proverの提案と評価

[2L5-GS-1-03] 潜在意図の後推定による多様な方策の生成モデル

[2L5-GS-1-04] 代数統計的アプローチによる言語モデルの構造学習手法の開発

[2L5-GS-1-05] グレード付STIT様相演算子による矛盾耐性を備えた義務推論

[3L4-GS-1] 基礎・理論：

[3L4-GS-1-01] 人生の充実度と価値指数の算式

人文学ＡＩアルゴリズムの試み

[3L4-GS-1-02] 順序符号化アルゴリズムの実装に関する一考察

[3L4-GS-1-03] 3値制約充足問題における遷移問題：解空間が多数決演算で閉じる場合

[3L4-GS-1-04] 温度並列シミュレーテッドアニーリングによる大域的な解探索

[3L4-GS-1-05] テンソル分解を用いた制約付き離散ブラックボックス最適化手法の検討

[3L5-GS-1] 基礎・理論：

[3L5-GS-1-01] 四次元知覚検証に向けて

四次元空間の平面射影とその直交変換の基礎数理

[3L5-GS-1-02] 消防隊員の勤務表作成に関する事例研究

[3L5-GS-1-03] コンジョイント分析を用いた満足度に基づくクルー割当問題

[3L5-GS-1-04] 新人パイロットの教育・育成を考慮したクルー割当問題

[3L5-GS-1-05] Epoch-wise Double Descentにおける正誤ラベルに対する学習過程差の解析

認証