マス・フォア・インダストリ研究所

研究集会・ワークショップ・国際会議



研究集会・ワークショップ・国際会議(一覧)

代数・論理・幾何と情報科学――理論から実世界への展開


開催時期 2019-08-31 09:45~2019-09-01 18:45

場所 九州大学 伊都キャンパス ウエスト1号館 4階 IMIコンファレンスルーム (W1-D-414)

代数・論理・幾何と情報科学――理論から実世界への展開
Algebra, Logic and Geometry in Informatics

※ この研究集会はマス・フォア・インダストリ研究所 共同利用研究の公開プログラムです.

 
 開催日時
 
 2019年8月31日(土) - 9月1日(日)
 
 開催場所
 
 九州大学 伊都キャンパス ウエスト1号館 D棟 4階 IMIコンファレンスルーム(W1-D-414)
 伊都キャンパスへのアクセス伊都キャンパスマップ
 
【プログラム】
 (全12講演)
 
  8月31日(土)

  9:45 - 10:00   オープニング+連絡など

 10:00 - 12:00

 招待講演者 : 勝股 審也 (国立情報学研究所 ERATO蓮尾メタ数理システムデザインプロジェクト)
 講演タイトル : 物理情報システムへの数学的アプローチ

 講演者 : Devi Rahmah Sope (近畿大学)
 講演タイトル : On a Fuzzification and Comparison of Clustering Indices

 講演者 : 冨田 悠 (京都大学 数理解析研究所)
 講演タイトル : Constructing non-symmetric closed categories from planar combinatory algebra


 12:00 - 14:00   昼食

 14:00 - 15:30

 招待講演者 : 竹内 泉 (産業技術総合研究所)
 講演タイトル : Mathematics and Variables

 講演者 : 本浦 庄太 (日本電気株式会社)
 講演タイトル : On Logic for Conditional Probabilities of Propositional Formulae


 15:30 - 16:00   休憩

 16:00 - 17:30

 講演者 : 藤井 宗一郎 (京都大学 数理解析研究所)
 講演タイトル : Enriched categories and tropical mathematics

 講演者 : 安田 康史 (神奈川大学)
 講演タイトル : Relationship among orders, semigroups, and quantales

 講演者 : TBA
 講演タイトル : TBA


 19:10 -         意見交換会


  9月1日(日)

 10:00 - 12:00

 招待講演者 : 長谷川 勇 (スクウェア・エニックス)
 講演タイトル : ゲーム開発への代数・論理・幾何と情報科学の適用

 講演者 : 塚田 武志 (東京大学)
 講演タイトル : 不動点算術とプログラム検証

 講演者 : TBA
 講演タイトル : TBA


 12:00 - 14:00   昼食

 14:00 - 15:30

 招待講演者 : 前原 貴憲 (理化学研究所)
 講演タイトル : 代数的・幾何的・論理的制約下の劣モジュラ関数最大化

 講演者 : 田中 康平 (信州大学 経法学部)
 講演タイトル : Topological and combinatorial methods in symmetric motion planning


 15:30 - 16:00   休憩

 16:00 - 18:30

 講演者 : 山形 賴之 (産業技術総合研究所)
 講演タイトル : Recent progress of consistency proofs of equational systems inside bounded arithmetics

 講演者 : TBA
 講演タイトル : TBA

 講演者 : TBA
 講演タイトル : TBA

 講演者 : TBA
 講演タイトル : TBA

 講演者 : TBA
 講演タイトル : TBA


 18:30 - 18:45   クロージング+連絡など

※枠が埋まるまで講演を受付けておりますので,上記の暫定プログラムは若干変更される可能性があります. 最新版については プログラム をご覧ください.