「京都大学数理解析研究所」を解説文に含む見出し語の検索結果(51～60/923件中)
京都大学数理解析研究所正式名称京都大学数理解析研究所英語名称Research Institute for Mathematical Sciences, Kyoto University略称RIMS所在...
.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.large>rt,.mw-parser-output ruby.l...
Kyoto Common Lisp作者湯淺太一, 萩谷昌己開発元京都大学数理解析研究所SIGLISP初版1984年4月 (40年前) (1984-04)最新版"June 3, 198...
.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.large>rt,.mw-parser-output ruby.l...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/06 07:54 UTC 版)「望月新一」の記事における「宇宙際タイヒミュラー理論を巡る経緯」の解説「宇宙際タイヒミュ...
マリー・キュリー賞（マリー・キュリーしょう）は、科学技術振興機構と駐日ポーランド共和国大使館が共同創設した女性研究者を対象とする科学賞。マリー・キュリーの名を冠する。正式名称はマリア・スクウォドフスカ...
マリー・キュリー賞（マリー・キュリーしょう）は、科学技術振興機構と駐日ポーランド共和国大使館が共同創設した女性研究者を対象とする科学賞。マリー・キュリーの名を冠する。正式名称はマリア・スクウォドフスカ...
ナビゲーションに移動検索に移動一ノ瀬 祥一いちのせ しょういち居住 日本研究分野物理学研究機関京都大学静岡県立大学出身校埼玉大学理工学部卒業筑波大学大学院物理学研究科修了主な業績ソフトマター物理学から...
佐藤 雅彦（さとう まさひこ、1947年 - ）は、日本の理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしてい...
佐藤 雅彦（さとう まさひこ、1947年 - ）は、日本の理論計算機科学者。京都大学名誉教授。数理論理学に基づくプログラム理論、定理証明・構成的プログラミング環境の計算機上での実現を研究テーマとしてい...