篠田寿一 著河合文化教育研究所1997.5<MA41-G40>
国立国会図書館全国の図書館
篠田, 壽一, 名古屋大学1997-1998<Y151-H09640257>
国立国会図書館
篠田, 壽一, 名古屋大学1994-1995<Y151-H06302014>
国立国会図書館
- 件名帰納的関数 計算量 ブール値モデル 公理的集合論 超準解析
2013JSAI大会論文集JSAI2013 0p.1B52-1B52
全国の図書館
- 要約等...ングマシンが計算するクラスは，帰納的関数を超えているのではないかと議論する．</p>
岩間 憲三2013人工知能学会全国大会論文集JSAI2013 0p.1B52-1B52
インターネットで読める全国の図書館
- 要約等...ングマシンが計算するクラスは，帰納的関数を超えているのではないかと議論する．</p>
古川 博仁<Z71-B432>呉大学短期大学部紀要 / 紀要編集委員会 編(5) (通号 15) 2001p.1～22
国立国会図書館全国の図書館
- 件名...sed function 原始帰納的関数 Primitive recursive function ...
広瀬健 著共立出版1989.2<MA41-E16>
国立国会図書館全国の図書館
- 目次・記事第1章 序論 第2章 帰納的関数と帰納的述語 第3章 不完全性定理 第4章 帰納的関数を定義する形式的体系 第5章 算術的階層 第6章 決定不可能...
- 要約等理工系の数学専攻の学生、計算機・情報処理の院生を対象にした帰納的関数の理論への本格的入門書。
- 件名帰納的関数
角田法也 [著]<UT51-92-K141>
インターネットで読める国立国会図書館
- 並列タイトル等（連結）帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数
- 並列タイトル等帰納的関数の部分階層と数論の形式理論での証明可能な計算可能関数
佐藤潤也 [ほか著][出版者不明]1999.3
全国の図書館
篠田壽一 [ほか著][出版者不明]1996.3
全国の図書館
岩波書店1982.3<M121-93>
インターネットで読める国立国会図書館全国の図書館
- 目次・記事...集合と無限集合/ 9 第2章 帰納的関数 1 原始帰納的関数/ 13 2 帰納的関数と部分帰納的関数/ 19 3 帰納的集合と帰納的に可算な集合/ 23 4 決...
- 内容細目...垣 康善 〔著〕 数学的準備 帰納的関数 語と言語 有限オートマトンと正規言語 プッシュ・ダウン・オ...
弥永 昌吉<Z14-72>科学53(10) 1983.10p.p656～661
国立国会図書館全国の図書館
記事
1994電子情報通信学会技術研究報告. FTS, フォールトトレラントシステム94 39p.33-40
全国の図書館
- 要約等本稿では、計算機で計算可能な関数として広く認められている帰納的関数の計算過程について考察する。まず、帰納的関数の計算過程を手続き型言語を用い......ル化する。このモデル化により、帰納的関数の制御フロー及びデータフローの......現することが可能となる。また、帰納的関数を述語表現するために、表現述語を定義する。この定義と有向グラ...
- 件名帰納的関数 設計検証 有向グラフ 述語 表現述語 recursive ...
田中 尚夫<Z15-30>数理科学12(11) 1974.11p.54～58
国立国会図書館全国の図書館
記事
1990-03-15情報処理31 3p.396-
全国の図書館
鮫島 晃太郎<Z14-413>木更津工業高等専門学校紀要 = The bulletin of Kisarazu National College of Technology / 木更津工業高等専門学校 編(通号 3) 1970.03p.29～33
国立国会図書館全国の図書館
座間 宣夫<Z16-192>電子通信学会誌 = The Journal of the Institute of Electronics and Communication Engineers of Japan54(6) 1971.06p.833～839
国立国会図書館全国の図書館
座間 宣夫<Z16-192>電子通信学会誌 = The Journal of the Institute of Electronics and Communication Engineers of Japan54(8) 1971.08p.1096～1102
国立国会図書館全国の図書館
座間 宣夫<Z16-192>電子通信学会誌 = The Journal of the Institute of Electronics and Communication Engineers of Japan54(7) 1971.07p.979～986
国立国会図書館全国の図書館
座間 宣夫<Z16-192>電子通信学会誌 = The Journal of the Institute of Electronics and Communication Engineers of Japan54(5) 1971.05p.683～690
国立国会図書館全国の図書館
