Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
2130 代数系、論理、言語と計算機科学の周辺 = 2130 Algebraic System, Logic, Language and Related Areas in Computer Science
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 20.
前
1
2
次
検索結果:
書誌情報
ファイル
Bases of extractable closures of languages (Algebraic System, Logic, Language and Related Areas in Computer Science)
Kunimochi, Yoshiyuki (2019-10)
数理解析研究所講究録, 2130: 1-6
Invariant groups of cellular automata (Algebraic System, Logic, Language and Related Areas in Computer Science)
佐藤, 忠一 (2019-10)
数理解析研究所講究録, 2130: 7-12
BCK-代数における(I)$_{x,y}$-条件の性質をめぐって (代数系、論理、言語と計算機科学の周辺)
熊澤, 昌明 (2019-10)
数理解析研究所講究録, 2130: 57-63
Nonexistence of some Griesmer codes of dimension 5 (Algebraic System, Logic, Language and Related Areas in Computer Science)
Kuranaka, Wataru; Maruta, Tatsuya (2019-10)
数理解析研究所講究録, 2130: 113-118
Construction of new Griesmer codes of dimension 5 (Algebraic System, Logic, Language and Related Areas in Computer Science)
Inoue, Yuto; Maruta, Tatsuya (2019-10)
数理解析研究所講究録, 2130: 109-112
Fractional Operations on Quadratic Fields (Algebraic System, Logic, Language and Related Areas in Computer Science)
KOBAYASHI, YUJI (2019-10)
数理解析研究所講究録, 2130: 101-108
Distribution of solutions of FreeCell (Algebraic System, Logic, Language and Related Areas in Computer Science)
JIMBO, Shuji; Yamada, Kotaro; Imamura, Sho; Ueno, Kazuki; Okada, Hiromu (2019-10)
数理解析研究所講究録, 2130: 85-90
Some Examples of Minimal Groupoids on a Finite Set (Algebraic System, Logic, Language and Related Areas in Computer Science)
Behrisch, Mike; Machida, Hajime (2019-10)
数理解析研究所講究録, 2130: 91-96
TOPOLOGY OF THE SPACE ON WHICH CELLULAR AUTOMATA WORKS (Algebraic System, Logic, Language and Related Areas in Computer Science)
ISHIBASHI, HIROYUKI (2019-10)
数理解析研究所講究録, 2130: 74-79
一意半単一化と正則単一化の比較 (代数系、論理、言語と計算機科学の周辺)
岩見, 宗弘 (2019-10)
数理解析研究所講究録, 2130: 80-84
絞り込み
著者
2
Maruta, Tatsuya
1
Behrisch, Mike
1
Hosaka, Daisuke
1
Imamura, Sho
1
Inoue, Yuto
1
ISHIBASHI, HIROYUKI
1
JIMBO, Shuji
1
Kobayashi, Hidetsune
1
KOBAYASHI, YUJI
1
Komeda, Jiryo
.
次 >
キーワード
1
37B15
1
68Q80
1
A* algorithm
1
binary idempotent function
1
cellular automaton
1
configuration set
1
deep learning
1
discrete topology
1
FreeCell
1
minimal clone
.
次 >
発行日
20
2019
分類
20
410