知的自動証明機の提案と実装 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
スポンサーリンク
概要
著者
関連論文
- サイエンス2.0へようこそ Researchmap.jpについて
- オンライン情報共有のためのNetCommonsの活用事例(ノウハウの蓄積と伝達)
- 学習コミュニティにおける論理的思考力育成のためのモデレーション指標の提案
- 研究者情報基盤サービス"Researchmap"について (特集 クラウドコンピューティングとSaaS)
- SSH校における学習コミュニティ「e-教室」の導入とその効果(新世紀型理数科系教育とICTの活用)
- 茂木健一郎と愉しむ科学のクオリア(16)数学で育む論理力
- 連続インタビュー 「教育」を教育する(16)「わからない」からこそ、「わかる」が深くなる。--新井紀子氏に聞く
- 言語としての数学 (特集 初学者を悩ます数理の概念--理解のためのヒントを探る)
- 計算量階層分離問題へのロジックからのアプローチ
- 論理的表現力評価システムの開発
- オンライン学習コミュニティにおける論理的思考力の形成過程
- 知的なコミュニティ支援ツールNetCommonsを活用して : e-教室
- 「e-教室」プロジェクト： : 知的コミュニティをサポートするオンライン協調学習環境
- 3A1-14 "科学を創る"学習コミュニティの構築と学習保証における課題
- 電子討論による問題解決を主軸とする学習コミュニティのためのシステム開発
- B2-1 経験知と学問知の統合を目的とする学習コミュニティの構築
- 特集 災害時に有効なCMSの活用--学校危機管理としてのICT(上)
- 特集 情報発信が子供育てる意識を醸成 学校危機管理としてのICT(下)
- 特集 低コストで安心の情報基盤を--学校危機管理としてのICT(中)
- 数学文化公開座談会より 数学のどこでつまずくか
- 全国学力調査とその背景
- 懇談会等の活動報告 日本数学会教育委員会主催シンポジウム 小中高大連携:「数学の一貫カリキュラムを考える」
- 対談 といえる瞬間 (特集1 とは何だろうか)
- 私の授業論 (教育シンポジウム=こんな授業をやってみたい)
- 有田先生の模擬授業《円の面積》を観て (教育シンポジウム=こんな授業をやってみたい)
- 教育機関向けワンストップサービス構築 ソフトウェア NetCommonsについて
- 計算力として培うべき力 (特集=ほんとうの計算力とは?)
- 座談会:ほんとうの計算力とは? (特集=ほんとうの計算力とは?)
- 数学まなびはじめ 「夢のヒヨコ」を歌いながら
- 学習者支援者のための数理的説明文評価支援システムの開発 (情報教育の国際化/一般)
- 日本数学協会会員制サイトのご紹介
- ネットの上に豊かな学びの場を構築するために (特集 情報化時代における学校教育の課題)
- 専門学校における Linux サーバーを使用したグループウェア
- 学問のインフラとしての数学--e-教室の試み
- 知的自動証明機の提案と実装 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- Polynomal-size Frege proofs of Bollobas'theorem on the trace of sets
- 言語活動の充実と数学的活動 (特集 言語活動の充実と指導の改善(1)国語,社会,地理歴史,公民,数学)
- 研究機関におけるReaD&Researchmapを利用した研究者総覧の構築について
- 教育情報システムの質的評価に関する考察 : 学生グループのシステム利用調査の過程から
- 「空想主義的」教育改革がもたらしたもの : 大学生数学基本調査の結果から (特集 教育に政治が介入するとき : 大阪の「教育改革」批判)
- 教科書のデジタル化を考える デジタル教科書の諸問題
- 研究資源・研究情報のエコサイクルの確立を目指して : ReaDとResearchmapの統合がもたらすもの
- 教育実践研究論文 情報モラル教育において抽象的概念を扱うための教授法の分析
- 「計算とは何か」を主題とする探求的数学活動 (数学探求講座 計算とは何か)
- ロボットは東大に入れるか? : 国立情報学研究所「人工頭脳」プロジェクト(ロボットは東大に入れるか?)
- 研究資源・研究情報のエコサイクルの確立を目指して ＲｅａＤとＲｅｓｅａｒｃｈｍａｐの統合がもたらすもの
- 情報モラル教育において抽象的概念を扱うための教授法の分析(教育実践研究論文)
- 大学生数学基本調査の正答率補正(一般セッション 教育)
- ロボットは東大に入れるか? : 国立情報学研究所「人工頭脳」プロジェクト