Yoshihiro Mizoguchi

後から、書きます。D_infinity を検索するときは Scott あるいは、Dana Scott も一緒に入れて検索して下さい。TPP2014を検索するときは、数学 も一緒に入れて検索して下さい。

[Information Geometry @SN_INGE]

Special Issue #HalfACenturyOfInformationGeometry
Part 1, just appeared!🎉🎉🎉
👉 https://t.co/AlChR8Dyav

[Reynald Affeldt @ReynaldAffeldt]

産総研にてCoq定理証明支援系を用いた数学の形式化と
プログラム検証のリサーチアシスタントを募集しています：
博士前期課程 https://t.co/wgvOvJnrFV,
大学院博士後期課程 https://t.co/0812Kg1qSE

[数理の翼カフェ2026 @tsubasa_oc]

【数理の翼サロン2022開催のお知らせ】
5/15(日)に、『数理の翼サロン2022』を開催します！ 数理科学に関心のある中高生を対象としたオンラインのイベントです。事前登録して頂いた方全員が参加できます！ webサイトを公開しましたので、詳細はこちらをご確認ください！
https://t.co/wZeEPw7gVh

[数学アドバンストイノベーションプラットフォーム (AIMaP) @AIMaP_IMI]

数学関連３学会連携企画「感染症に立ち向かう数理科学」10月31日(土) 11:10 - 12:30 (YouTubeライブ) 講演+パネル討論会. みなさまの聴講をお待ちしています. https://t.co/ZU9r4AwZmb

[FUJISAWA Katsuki (藤澤 克樹) @sdpaninf]

富岳は４つのベンチマーク Top500, HPCG, HPL-AI, そして Graph500 で２位を大きく引き離して世界１位になりました。Graph500 は Live で発表してもらえないので、参考までに世界記録のデータを載せておきます。#isc20 #isc2020

[Yoshihiro Mizoguchi @ym9658]

直前のご案内になり申し訳ありません. 初回は, 5月7日(金)16:00-18:00 (JST) です.
講義「モデル理論：普遍代数学と一階述語論理/ Many-Sorted First-Order Model Theory」
担当教員： Daniel Gaina先生 (九州大学IMI), Tomasz Kowalski先生 (La Trobe大学(オーストラリア))
https://t.co/6PDVbQXogE

[九州大学｜KyushuUniv｜非公式 @KyushuUniv_PR]

「中村医師は昭和４８年に九州大学医学部を卒業し、平成２６年からは九州大学高等研究院の特別主幹教授として、年に１回の講演会などで学生や市民に自身の活動などを報告していました。」
中村医師に九大学長「誇り」｜NHK 福岡のニュース https://t.co/0YhJUjzgE5

[ESORICS 2021 @ESORICS_]

🔴 Live from #ParcAlvisse in #Luxembourg: Adi Shamir gives the opening keynote on The Insecurity of Machine Learning:

"Changing one pixel is enough to confuse Deep Neural Networks about the image."

[Yoshihiro Mizoguchi @ym9658]

経済産業省の数理資本主義に関するプレスリリース, および, 欧米諸国の数学資本に関する記事へのリンクが次にあります. https://t.co/wiwaMozFN6

[Yoshihiro Mizoguchi @ym9658]

週刊ダイヤモンド: 大人のための最先端理科の数学の時間. 純粋と応用の“いい関係”「数理資本主義」時代の到来. 読みました! https://t.co/lNQ6qyG18W

[Yoshihiro Mizoguchi @ym9658]

本日13:00からMathematicaテクノロジーセミナー@九大伊都IMIオーディトリアムです. https://t.co/5MMgO7A4XV

[数学アドバンストイノベーションプラットフォーム (AIMaP) @AIMaP_IMI]

JST戦略的創造研究推進事業 ACT-X 説明会のご案内です。
日時：2019年4月23日(火) 13:30-14:30
会場：京都大学理学研究科3号館(数学教室)127大会議室
中継：九州大学マス・フォア・インダストリ研究所 ウェスト1号館D棟4階IMIオーディトリアム(W1-D-413)
https://t.co/HPtog4pFTg

[経済産業省 @meti_NIPPON]

#理数系人材 の産業界での活躍に向けた意見交換会の報告書『数理資本主義の時代～数学パワーが世界を変える～』を取りまとめました
第四次産業革命の進行に伴い産業界での数学へのニーズの高まりを受け、数学の産業応用に関する現状や課題と対応の方向性についてまとめました
https://t.co/W2NHwDDBUo

[九州大学｜KyushuUniv｜非公式 @KyushuUniv_PR]

九州大：伊都キャンパスウエスト２号館情報学習室、愛称「ＮＳＳＯＬ　Ｌｏｕｎｇｅ」　／福岡 - 毎日新聞 https://t.co/KjU53VXCQz

[九州大学｜KyushuUniv｜非公式 @KyushuUniv_PR]

平成30年度退職予定教授の最終講義について（3月1日現在）
PDF：https://t.co/UxGuwnrD0e

[九州大学｜KyushuUniv｜非公式 @KyushuUniv_PR]

【NHK】九大の歴史的建物解体本格化
「箱崎キャンパスの建物のうち戦前に建てられた校舎を含む６７棟はすでに取り壊され、残るおよそ１３０の建物の解体工事は、ことしから本格化」
https://t.co/h7ggZ3afVm

[Yoshihiro Mizoguchi @ym9658]

数セミ1月号「人工知能は数学者になれるのか：論理と計算について考えた人たち 」 https://t.co/L7nbLvnj0s
MAP2012 https://t.co/U6ACATr5dv とSemantic Representation of Mathematical Knowledge 2016 https://t.co/mlaqI5foV1 を少し紹介しました. ご協力いただいた皆様, ありがとうございました!

[Yoshihiro Mizoguchi @ym9658]

高校生課題研究(数学・情報)ポスター発表会 @ 九州大学
開催期間 2018年12月15日(土) 11:00-12:30
開催場所 九州大学 稲盛財団記念館
https://t.co/5tyvOR2aUr

[Yoshihiro Mizoguchi @ym9658]

Read The Origins and Motivations of Univalent Foundations https://t.co/7in16Fj5Mo @the_IASより

[Yoshihiro Mizoguchi @ym9658]

Read Memorial Conference to Commemorate the Life and Work of Vladimir Voevodsky https://t.co/i2LwUKr032 @the_IASより