Jump to main content

yr 〜
yr

Search results 157

多摩川上流域における落葉分解性水生不完全菌類の多様性とその落葉破砕食水生昆虫に対する意義の解明 (研究助成・学術研究 ; vol. 47 no. 332)

多摩川上流域における落葉分解性水生不完全菌類の多様性とその落葉破砕食水生昆虫に対する意義の解明 (研究助成・学術研究 ; vol. 47 no. 332)
Paper図書
佐藤大樹 著とうきゅう環境財団2018.11<RA621-M2>
National Diet Library
  • Subject Heading不完全菌類 水生昆虫

鹿児島市の雇用・就業に関するアンケート調査結果報告書

鹿児島市の雇用・就業に関するアンケート調査結果報告書
Paper図書
鹿児島市産業振興部雇用推進課2021.3<EL91-M33>
National Diet Library
  • Subject Heading雇用--鹿児島県--鹿児島市 不完全就業--鹿児島県--鹿児島市

計算機支援による不完全データの分析手法の研究

計算機支援による不完全データの分析手法の研究
Paper図書
山口和範, 立教大学 [著][山口和範]2004-2006<Y151-H16300087>
National Diet Library
  • Subject Heading不完全データ / EMアルゴリズム / 潜在クラスモデル

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)
PaperDigital図書
竹内薫 著講談社2024.11<MA41-R12>
National Diet LibraryOther Libraries in Japan
  • Toc / Article... コラム　現代のゲーデル数？ 不完全性定理の証明の「あらすじ」 自......なたへ コラム　完全性と２つの不完全性 スマリヤンのパズルでゲーデ......の証明のあらすじ 停止問題から不完全性へ チューリングの死 第4章......イティンの「哲学」 いろいろな不完全性 様相論理から証明可能性へ 証明可能性論理と不完全性定理 物理学は影響を受けるの...... コラム　あくまで私見ですが 不完全性と不確定性の関係？ 視点の問題 不完全性定理と脳と宇宙 エピローグ　......家のゲーデル遍歴」 特別対談 不完全性定理――哲学と数学の交差点か......録１ 　ベリーのパラドックスと不完全性定理 ブーロスの新しい証明の概略 付録２ 「竹内流ゲーデル...
  • Summary, etc.証明が不可能であることは証明できるのか。ゲーデルの不完全性定理」と「チューリング機械の停止問題」、この難題をどう解決...
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incomplete...

スマリヤン不完全性定理 改訳版

スマリヤン不完全性定理 改訳版
Paper図書
Raymond Smullyan [著], 高橋昌一郎 監訳, 川辺治之, 村上祐子 訳丸善出版2019.12<MA41-M19>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...き乗に基づくペアノ算術における不完全性 I.　公理体系P.E. §......体系P.E.におけるゲーデルの不完全性定理 第IV章　べき乗に基づ......I.　公理体系P.A.における不完全性定理 §1. 基礎概念 §2......明 §6. ペアノ算術における不完全性定理 II.　Σ_1関係 第......に基づくゲーデルの証明 I.　不完全性定理の抽象形式 §1. 不完全性定理の基礎 §2. ω無矛盾...... §5. 体系P.A.における不完全性 §6. 体系P.A.のω不完全性定理 第VI章　ロッサー体系 §1. ロッサーの不完全性定理の抽象形式 §2. 一般......定理 II.　一般状況における不完全性定理 III.　G型体系 IV.　様相体系 参考文献 監訳...
  • Summary, etc.『ゲーデルの不完全性定理』（高橋昌一郎訳，丸善，1996年）の改訳版。訳文に加...
  • Authority（Subject Heading/altLabel）不完全性定理 Godel's theorem Incomplete...

非線形楕円型微分方程式における大域的分岐・不完全分岐の解明

非線形楕円型微分方程式における大域的分岐・不完全分岐の解明
Paper図書
壁谷喜継, 大阪府立大学, 宮崎大学 [著][壁谷喜継]2003-2005<Y151-H15540211>
National Diet Library
  • Subject Heading楕円型微分方程式 / 分岐構造 / 不完全分岐 / 球対称性

タンパク間相互作用による電位依存性NaおよびCaチャネルの集積機構の解明

タンパク間相互作用による電位依存性NaおよびCaチャネルの集積機構の解明
Paper図書
岡村康司, 自然科学研究機構 [著][岡村康司]2004-2005<Y151-H16390056>
National Diet Library
  • Subject Heading電位依存性チャネル / アンキリン / 不完全長型タンパク

不完全な知識・情報下で認知に誘導される心的決定過程の証拠理論的表現と解析

不完全な知識・情報下で認知に誘導される心的決定過程の証拠理論的表現と解析
Paper図書
稲垣, 敏之, 筑波大学2000-2001<Y151-H12680366>
National Diet Library
  • Subject Heading不完全情報 不完全知識 意思決定 規範型決定 認知主導型決定 証拠理論 時間制...

非線形放物型方程式の解の特異性に関する研究

非線形放物型方程式の解の特異性に関する研究
Paper図書
溝口紀子, 東京学芸大学 [著][溝口紀子]2005-2006<Y151-H17540189>
National Diet Library
  • Subject Heading半線形熱方程式 / 不完全爆発 / 超臨界指数 / 複数回爆発 / type IIの爆...

高・低温環境下における水稲登熟粒の品質・食味低下および不完全登熟粒発生の要因解明

高・低温環境下における水稲登熟粒の品質・食味低下および不完全登熟粒発生の要因解明
Paper図書
松田智明, 茨城大学 [著][松田智明]2004-2006<Y151-H16208003>
National Diet Library
  • Subject Headingアミロプラスト / 不完全登熱 / 胚乳 / 品質 / 高音登熱 / 屑米 / 冷害 ...

欠損値をもつデータを取り扱うための統計的モデル論

欠損値をもつデータを取り扱うための統計的モデル論
Paper図書
菊池泰樹, 長崎大学 [著][菊池泰樹]2003-2005<Y151-H15500187>
National Diet Library
  • Subject Heading不完全データ / FM-algorithm / 生存関数の推定 /...

不完全麻痺者の歩行訓練のためのセンサシステムの開発

不完全麻痺者の歩行訓練のためのセンサシステムの開発
Paper図書
古瀬則夫, 宮城工業高等専門学校 [著][古瀬則夫]2006-2007<Y151-H18500355>
National Diet Library
  • Subject Heading歩行期 / 遊脚期 / 立脚期 / ジャイロスコープ / 不完全麻痺者 / 無線モジュール / 歩行訓練 / FES

輸出国家貿易による市場歪曲度の計量手法の開発

輸出国家貿易による市場歪曲度の計量手法の開発
Paper図書
鈴木, 宣弘, 九州大学2001-2002<Y151-H13660222>
National Diet Library
  • Subject Heading輸出国家貿易 「隠れた」輸出補助金 不完全競争 計量経済分析

水稲子房における転流・転送系並びに蓄積系構造の組織・細胞学的解析

水稲子房における転流・転送系並びに蓄積系構造の組織・細胞学的解析
Paper図書
松田智明, 茨城大学 [著][松田智明]2000-2002<Y151-H12460007>
National Diet Library
  • Subject Heading電子顕微鏡 / 不完全登熟 / 胚乳 / 品質 / イネ / 高温 / 食味

不完全データベースにもとづく情報統合システムの研究

不完全データベースにもとづく情報統合システムの研究
Paper図書
宮崎, 収兄, 千葉工業大学1999-2000<Y151-H11680421>
National Diet Library
  • Subject Heading不完全データベース 統合問合せ処理 検索 圧縮

情報探索・処理過程を考慮した交通行動モデルの開発と情報提供効果の分析

情報探索・処理過程を考慮した交通行動モデルの開発と情報提供効果の分析
Paper図書
森川, 高行, 名古屋大学2001-2002<Y151-H13450209>
National Diet Library
  • Subject Heading交通情報提供 交通行動分析 経路選択 均衡配分 情報の不完全性

Ausbildungsinadäquate Beschäftigung der Absolventen des Bildungssystems : Berichterstattung zu Struktur und Entwicklung unterwertiger Beschäftigung in West- und Ostdeutschland / von Felix Büchel, Gernot Weisshuhn. (Volkswirtschaftliche Schriften ; Heft 471)

Ausbildungsinadäquate Beschäftigung der Absolventen des Bildungssystems : Berichterstattung zu Struktur und Entwicklung unterwertiger Beschäftigung in West- und Ostdeutschland / von Felix Büchel, Gernot Weisshuhn. (Volkswirtschaftliche Schriften ; Heft 471)
Paper図書
Duncker & Humblotc1997.<EL91-A494>
National Diet Library
  • Subject Heading不完全就業 (地理区分) ドイツ.

古生代から中生代の化石菌類の研究及び植物との相互関係の解明

古生代から中生代の化石菌類の研究及び植物との相互関係の解明
Paper図書
西田, 治文, 中央大学1998-1999<Y151-H10836018>
National Diet Library
  • Subject Heading菌類 不完全菌類 化石 古生代 中生代 白亜紀 植物

規制と潜在成長力 : 企業マイクロデータ、産業データを使用した分析

規制と潜在成長力 : 企業マイクロデータ、産業データを使用した分析
Paper図書
乾友彦, 日本大学 [著][乾友彦]2005-2006<Y151-H17530224>
National Diet Library
  • Subject HeadingJIPデータベース / 全要素生産性 / 規制緩和 / IT化 / 不完全競争 / 規模の経済 / 資本の質 / 研究開発

日本稲作農業における労働の異質性および市場不完全性 : 非入れ子型検定による検証

日本稲作農業における労働の異質性および市場不完全性 : 非入れ子型検定による検証
Paper図書
園田正, 名古屋経済大学 [著][園田正]2002-2003<Y151-H14760149>
National Diet Library
  • Subject Heading労働の異質性 / 労働市場の不完全性 / 農家家計モデル / 非入れ子型検定
RSS