Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 京都大学数理解析研究所 (出版者)
336件
15ページ目
1
0
0
0
OA
Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
著者
Hirose Ken
Takahashi Makoto
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.516, pp.111-122, 1984-03
1
0
0
0
OA
半順序集合上のゲーム (公理的集合論)
著者
吉信 康夫
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1202, pp.75-82, 2001-04
1
0
0
0
OA
UMLパッケージ図に対するグラフ文法(計算機科学とアルゴリズムの数理的基礎とその応用)
著者
後藤 隆彰
西野 哲朗
土田 賢省
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1744, pp.11-14, 2011-06
1
0
0
0
OA
ジョルダン三項積の成層分解と対称空間への応用 (非可換代数系の表現と調和解析)
著者
金行 壮二
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1294, pp.8-26, 2002-11
1
0
0
0
OA
中間グラフについて (組合せ構造とグラフ理論)
著者
秋山 仁
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.259, pp.72-118, 1976-01
1
0
0
0
OA
On the asymptotic construction of confidence intervals
著者
Akahira Masafumi
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
巻号頁・発行日
vol.1224, pp.137-159, 2001-07
1
0
0
0
OA
Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
著者
渡部 善隆
中尾 充宏
山本 野人
西田 孝明
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1265, pp.71-80, 2002-05
1
0
0
0
OA
ニ次曲面と積分可能系 (線型微分方程式の変形理論とアーベル函数論の拡張への新しい視点)
著者
田中 俊一
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.388, pp.38-47, 1980-06
1
0
0
0
OA
アーベル積分とその原始積分について (幾何学における大域的解析学)
著者
斎藤 恭司
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.321, pp.79-87, 1978-03
1
0
0
0
OA
関孝和によるベルヌーイ数の発見 (数学史の研究)
著者
小川 束
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1583, pp.1-18, 2008-02
1
0
0
0
OA
代数の無限積と可測基数(数学基礎論)
著者
江田 勝哉
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.480, pp.12-19, 1983-02
1
0
0
0
OA
藤原松三郎先生と平山諦先生 : 時代に生き、時代と格闘し、遺したこと(数学史の研究)
著者
鈴木 武雄
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1546, pp.247-258, 2007-04
1
0
0
0
IR
Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)
著者
白旗 優
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
no.1217, pp.121-142, 2001-06
1
0
0
0
OA
Java による数式処理(数式処理における理論と応用の研究)
著者
元吉 文男
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1038, pp.205-209, 1998-04
1
0
0
0
OA
学術情報組織化の中の図書室の役割と名古屋大学理学部数学教室に於けるニ十世紀以前の洋書文献リスト (数学分野の学術情報体系)
著者
谷川 澄子
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.448, pp.20-41, 1982-02
1
0
0
0
OA
京都大学数理解析研究所図書室とデータベースRIMS PICMSについて (数学分野の情報検索 : 現状と方策)
著者
中司 里美
一松 信
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.433, pp.41-63, 1981-06
1
0
0
0
OA
On a bounding problem of Calabi-Yau threefolds (Local invariants of families of algebraic curves)
著者
Ohno Koji
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1345, pp.148-155, 2003-11
1
0
0
0
OA
左辺が一致するオーバレイ性を持つ左線形TRSの正規化戦略 (計算機科学基礎理論の新展開)
著者
水野 健一
草刈 圭一朗
酒井 正彦
坂部 俊樹
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1375, pp.247-252, 2004-05
1
0
0
0
OA
「Eulerの力学」 (オイラー方程式250年 : 連続体力学におけるオイラーの遺産)
著者
山本 義隆
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1608, pp.1-13, 2008-07
1
0
0
0
OA
交通流の数理モデルとソリトン方程式 : 可積分系から渋滞学へ (可積分数理の新潮流)
著者
金井 政宏
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
vol.1650, pp.87-100, 2009-05
««
«
8
9
10
11
12
13
14
15
16
17
»
»»