九州大学論理と計算研究室

21/09/2020

IMSIイリノイ大学

IMSI Opening Conference: Vistas in the Applied Mathematical Sciences The Institute for Mathematical and Statistical Innovation (IMSI) will host an online conference from October 7-9, 2020 to celebrate its opening. The conference will feature talks that are connected with IMSI’s scientific themes: ...

03/09/2020

2020年9月3日（木）〜9月4日（金）ZOOMによるオンライン開催ALGI2020 HP : HP :

03/09/2020

ゲーム開発において，大学で学ぶような数学の概念に遭遇することがあります． 今回対象とする「ラプラシアン」もその1つで，球面調和関数，ポアソン画像合成，mesh processingなど，ゲーム開発にお...

25/02/2020

ALGI30(代数・論理・幾何と情報科学-理論から実世界への展開)の報告書が公開されたようです.
勝股審也(情報学研) 物理情報システムを数学的に捉える, 竹内泉(産総研) 数学と変数, 長谷川勇(スクウェア・エニックス) ゲーム開発へのモデル検査の適用, 前原貴憲(理研AIP) 代数的・幾何的・論理的制約下の劣モジュラ関数最大化, ほか, 全14講演.

20/02/2020

本日予定通り開催します.
Software in Mathematics Demonstration Track in Hakata Workshop 2020
日時: 2020年2月21日(金) 16:00～17:30
場所: 九大伊都キャンパス・ウェスト1号館D棟4階オーディトリアム前ホワイエ
デモ発表: HISTの存在性を保証する次数和条件について, 曲面グラフの3Dプリント, Modular Techniques を用いた効率的な局所化操作の計算, Mathematicaによる干渉ブラウン運動の数値シミュレーションと可視化,Haskellから学ぶ圏論,ゼロサプレス型二分決定グラフを利用したスリザーリンクソルバーの高速化,格子上の基底簡約アルゴリズムの開発,位相的データ解析について,Domineeringに対する強化学習の適用-R言語による実装-,位相的データ解析による2次体整数環の素数分布解析

Hakata Workshop(博多ワークショップ)~Discrete Mathematics and its Applications 九州大学 マス・フォア・インダストリ研究所 数学理論先進ソフトウェア開発室 九州大学 数理・データサイエンス教育研究センター

16/01/2020

RIMS-IMI合同談話会
日時: 2020年2月7日(金) 14:30-17:00
場所: 九州大学伊都キャンパス
講演: 非線形力学系の作用素論的データ解析 (河原吉伸(九大IMI)), 数学における自動定理証明の現状について (照井一成(京大RIMS))

マス・フォア・インダストリ研究所は、テクノロジー先端研究部門、応用理論研究部門、基礎理論研究部門の３部門に加えて、 企業との共同研究を円滑に推進するために「技術相談窓口」を設置したアジアではじめての産.....

04/01/2020

2020 Taipei International Conference on Combinatorics, February 6-8, 2020, Institute of Mathematics, Academia Sinica, Taipei, Taiwan.

04/01/2020

SCSS 2020 (The 9th International Symposium on Symbolic Computation in Software Science) September 10-13, 2020, in Gammarth, Tunisia.

Submissions are invited in two categories: regular research papers and tool papers. They should be prepared using the ... LaTeX template. Regular research papers must not exceed 12 pages, with up to 3 additional pages for technical appendices. Tool papers must not exceed 6 pages. They should include...

02/01/2020

“Interaction laws of monads and comonads” by Shin-ya Katsumata, Exequiel Rivas, and Tarmo Uustalu

We introduce and study functor-functor and monad-comonad interaction laws as mathematical objects to describe interaction of effectful computations with behaviors of effect-performing machines. Monad-comonad interaction laws are monoid objects of the monoidal category of functor-functor interaction....

29/11/2019

第24回情報・統計科学シンポジウム
後援：九州大学 数理・データサイエンス教育研究センター
日時: 令和元年12月6日(金) 10時00分～16時55分
場所: 九州大学伊都キャンパス・ウェスト1号館D棟IMIオーディトリアム
特別講演[13:10-14:00]データ駆動によるダイナミクス解析と機械学習 by 河原吉伸(九大IMI)
http://bic.math.kyushu-u.ac.jp/bic2019/

12/11/2019

第18回論理と計算セミナー
日時: 2019年11月15日(金) 13:30-18:00
場所: 九州大学西新プラザ多目的室 (福岡市早良区西新2-16-23)

Date: Friday, 15 November 2019, 13:30-18:00 Place: Ni…