KRR Workshop 2025

開催情報

• 日程: 2025年11月4日（火）, 5日（水）
• 用務地: 〒409-2942 山梨県南巨摩郡身延町下部990
• 用務先：下部温泉 ホテル守田
  • 最寄り駅: JR身延線 下部温泉駅
    • 11月3日(月・祝) 甲府方面時刻表，富士方面時刻表
    • 11月5日(水) 甲府方面時刻表，富士方面時刻表

参加費

• 2泊3日（11月3日～5日）の場合
  • 約36000円（見込）
• 1泊2日（11月4日～5日）の場合
  • 約18000円（見込）

プログラム

• 発表の進行状況に合わせて「柔軟」に進めたいと思います．

2025年11月4日(火)

	発表者	発表題目
9:00-10:30	飛田 龍一 伊藤 健太	非共有メモリ環境における決定的並列 SAT ソルバーフレームワークの検討 成分分割型投射モデル計数手法の形式化
10:30-10:45	Break
10:45-12:00	田村 直之	Python 上の SAT 型制約プログラミングシステムの紹介
12:00-13:30	Break
13:30-15:30	番原 睦則 番原 睦則 磯邊 猛	Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming Towards Adaptive Large Neighborhood Prioritized Search in Answer Set Programming Factorizing Relational Data by Many-Body Approximation for Tensors
15:30-15:45	Break
15:45-17:30	名幸 大輔 鍋島 英知	並列SATソルバーにおける学習節フィルタリングの実現に向けて The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital

2025年11月5日(水)

	発表者	発表題目
9:00-10:00	酒井 正彦	有効/無効フラグ付きAllDifferent制約
10:00-12:00		個別テーマ討論会 ビジネスミーティング

参加者 (敬称略，順不同)

• 田村 直之 (神戸大)
• 酒井 正彦 (名古屋大)
• 番原 睦則 (名古屋大)
• 宋 剛秀 (名古屋大)
• 岩沼 宏治（山梨大）
• 鍋島 英知 (山梨大)
• 磯邊 猛（総研大, D）
• 伊藤 健太（名古屋大, M2）
• 宮下 眞樹（名古屋大，B4）
• 名幸 大輔（山梨大，M2）
• 飛田 龍一（山梨大，M1）