>>790-792
>証明を書かないからといってラマヌジャンを笑うものはいなかった

・スレ主です ”共同研究を行っていたハーディも、彼の直感性を損ねることを恐れて証明を押し付けることは避け、朝ラマヌジャンが持ってきた半ダースもの「定理」を1日かけて証明するという方法をとった” tps:ja.wikipedia ラマヌジャン

・九州に”マス・フォア・インダストリ”というのがあるそうな
 二人いたら、分担したら良いんじゃない? 証明する人と 使う人と

・あるところに、口先だけの男がいるらしい
 証明証明 "ゆ"うけど、口先だけ (風呂屋ののれん)

(参考)
tps:マス・フォア・インダストリ
九州大学
マス・フォア・インダストリ研究所
多様な数学研究に基礎を置く
世界に類のない産業数学の研究所

https:www.imi.kyushu-u.ac.jp/wp-content/uploads/2023/03/2023research_tech_catalog.pdf
カタログ
【応用理論研究部門】
離散微分幾何・可積系 梶原 健司 教授 学位: 博士(工学)(東京大学)

計算理論と整数論の間 浦本 武雄 学位: 博士(理学)(京都大学) 専門分野: 理論計算機科学

代数解析: 数学の落ち合うところ 落合 啓之 学位: 博士(数理科学)(東京大学) 専門分野: 代数解析

トポロジーとその応用 佐伯 修 学位: 博士(理学)(東京大学)専門分野: 位相幾何学、トポロジー、特異点論、微分位相幾何学、DNA結び目

tps:JSIAM 日本応用数理学会
JSIAM 日本応用数理学会
Forum “Math-for-Industry”
日程
2023年8月29日〜9月1日(参加申込〆切8月21日)
概要
産業における課題と産業数学・ 応用数学の接点を探求しその解決をともに図る国際研究集会です
◎講演者リストおよびプログラムは、こちらをご覧ください。