1 0 0 0 IR 中間述語論理CDについて (算術体系の証明論--RIMS共同研究報告集)
- 著者
- 鹿島 亮
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- no.1533, pp.1-8, 2007-02
- 著者
- 井原 健太郎
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- no.1549, pp.47-63, 2007-04
- 著者
- ウィロックス ラルフ
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1280, pp.1-10, 2002-08
- 著者
- ウィロックス ラルフ
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1302, pp.21-37, 2003-02
1 0 0 0 OA 自走する竜巻の模擬実験 (流れの遷移と乱流のスケルトン)
- 著者
- 佐々 浩司
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1454, pp.88-95, 2005-11
1 0 0 0 IR ZF集合論での順序数の積空間における正規性 (集合論的及び幾何学的位相空間論とその応用)
- 著者
- 平田 康史
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1419, pp.52-62, 2005-02
1 0 0 0 OA 実2次体の剰余体における単数の分布とArtin予想について(代数的整数論とその周辺)
- 著者
- 真島 一成
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1026, pp.156-166, 1998-02
1 0 0 0 IR 物理分野に現れる可解な最適化問題の最近の話題 (最適化技法の最先端と今後の展開)
- 著者
- 田中 久陽
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.2027, pp.93-108, 2017-04
1 0 0 0 IR 鳥の複雑なさえずりの進化的デザイン (第10回生物数学の理論とその応用)
- 著者
- 笹原 和俊
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1917, pp.159-163, 2014-09
- 著者
- 山田 功
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1972, pp.1-22, 2015-11
- 著者
- 山崎 洋祐 スキアボーニ リッカルド イオリ マヌエル 柳浦 睦憲 マルテッロ シルバノ
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1726, pp.139-154, 2011-02
1 0 0 0 IR 共形場理論の定式化について(群の表現論と等質空間上の解析学)
- 著者
- 黒木 玄
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.929, pp.103-134, 1995-11
- 著者
- 黒木 玄
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.778, pp.42-49, 1992-03
1 0 0 0 IR ニュートンと幾何学的精神 : エウクレイデス『ポリスマタ』の復元 (数学史の研究)
- 著者
- 高橋 秀裕
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1257, pp.48-63, 2002-04
- 著者
- Park Sehie
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1643, pp.1-16, 2009-04
- 著者
- 武本 幸生 大橋 俊介 赤嶺 博史 水島 二郎
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1776, pp.28-42, 2012-02
1 0 0 0 OA 疎な多項式の補間のためのモジュラー算法(数式処理と数学研究への応用)
- 著者
- 村尾 裕一
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.811, pp.49-59, 1992-10
- 著者
- 松野 孝一郎
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1350, pp.66-75, 2004-01
1 0 0 0 IR 祖冲之は,如何に円周率π=355/113を得たか? (数学史の研究)
- 著者
- 曲 安京[著] 城地 茂(訳)
- 出版者
- 京都大学
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1257, pp.163-172, 2002-04
- 著者
- 中村 佳正
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1014, pp.104-117, 1997-10