Q-16 THE システムのハードウェア・ソフトウェア上の問題点
スポンサーリンク
概要
著者
関連論文
- 座談会 [日本数学教育学会]第15代会長 茂木勇先生の遺徳を偲ぶ
- 座談会 第15代[日本数学教育学会]会長 茂木勇先生の遺徳を偲ぶ
- これからの計算の指導をどう考える?
- Specification analysis of concurrent programs(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Sheaf of Structuresにより保存されるSentenceについて (数学基礎論)
- 第15代会長茂木勇先生の遺徳を偲ぶ
- 第15代会長 茂木勇先生の遺徳を偲ぶ(座談会)
- 高校のカリキュラムを考える : 寺田先生を囲んで
- 数学的構造を反映させた定理証明系の試み
- 日数教(千葉)大会 高専・大学部会パネルディスカッション報告「数学教育におけるニューメディアの活用」
- 14.大学初年級の学生の数学に対する意識調査について : とくに,文系学生を中心として
- オーディオ・ビジュアル方式を用いた教育システムの試み
- D111 THEシステムによる実験授業の報告
- 2Ap-5 THEシステムによる実験結果の報告
- 数学科における計算機教育を考える〔含 質疑応答〕
- CAC (Computer Assisted Curridulum)
- チューリングと理論とその周辺 (チューリング・マシン(特集))
- E125 エキスパートシステム利用のハイパーテキストベース学習支援環境
- 問題解決戦略を教授するCAIシステム
- 問題解決法ガイダンスシステム
- 14.レーザー・ディスクによる教育システムの開発について(分科会B)
- A-4 教育工学のための高等数学のカリキュラム開発について
- Q-17 THE システムのコースウェアの内容
- Q-16 THE システムのハードウェア・ソフトウェア上の問題点
- Q-15 ビデオディスクを用いた数学教育 : THE システムのコースウェア
- 2.諸科学に見られる不動点論の散策 2.1基礎論と不動点 (不動点をめぐって)
- ソフトウェア科学と数理論理学
- 仕様記述言語向きの変換系記述言語TDLの適用と効果
- 仕様記述言語向きの変換系記述言語TDL
- アルゴリズム概念の形成と変遷
- FORTRAN型フローチャート言語FFLの設計と試作
- 区間評定データを用いた学習者情報の推定法に関する一提案
- 教材構造を反映させた復習課題抽出に関する一提案
- C224 構造分析法(FSA)を用いた情報教育に関する意識構造の分析
- C223 構造分析法(FSA)を用いた環境教育に関する意識構造の分析
- パネル討論会 : 大学, 高校, メーカ・ユーザの企業内の各々における情報処理教育の限界をさぐる
- Some Remarks in General Theory of Flow-Charts (プログラムの基礎理論)
- Mathematicaを用いたCSCコースウェアの実現
- なぜ,いま,ゲ-デルなのか (ゲ-デルと不完全性定理)
- 数式処理システムを活用した新しい解析学教育
- 素数と素因数分解--暗号理論と関連して
- "計算不可能"ということ (組合せ理論と応用)
- ゲ-デルの業績とその影響 (ゲ-デル)
- 数学科学生のための計算機概論-19-符合系の理論
- 数学科学生のための計算機概論-16-計算機の構造-1-
- 数学科学生のための計算機概論-18-図形処理概論
- 数学科学生のための計算機概論-17-計算機の構造-2-
- 数学科学生のための計算機概論-15-数式処理-4-
- 数学科学生のための計算機概論-14-数式処理-3-
- 数学科学生のための計算機概論-13-数式処理-2-
- 数学科学生のための計算機概論-12-(7)数式処理-1-
- 数学科学生のための計算機概論-11-算法と計算量-4-
- 数学科学生のための計算機概論-10-算法と計算量-3-(Introduction to Computing)
- 数学科学生のための計算機概論-9-(6)算法と計算量-2-
- 数学科学生のための計算機概論-8-算法と計算量-1-ソ-テイング
- 数学科学生のための計算機概論-7-関数値の計算例
- 数学科学生のための計算機概論-6-数値と数値表現
- 数学科学生のための計算機概論-5-プログラム-3-
- 数学科学生のための計算機概論-4-プログラム-2-
- 数学の応用可能性について (数学の基礎と応用可能性のシンポジウム)
- Diophantine PredicateのRecursive Degreeについて (Proof theoryとRecursion theory研究会報告集)
- 追悼島内剛一先生
- 数学と情報科学 (情報数学のすすめ)
- 証明とコンピュ-タ--数学する人々の"よき助手"としての自動検証系の試み
- 公開鍵暗号について (新しい暗号--高速処理の技術)
- 有限の立場 (有限(特集))
- アルゴリズムとは何か (アルゴリズム(特集))
- チュ-リングとアルゴリズム (1930年代はこんな時代だった)
- コンピュ-タに接する前に--特集の"まえがき"として (コンピュ-タの常識)
- 高校数学から大学数学への架橋
- 暗号学と数学
- 数学基礎論の源流と現流 (現代数学の流れ-2-)
- 5-5 Computer Assisted Curriculum : マイコン利用を前提としたカリキュラム構成の試み
- 8-10 Computer Assisted Curriculumの可能性
- B224 Computer Assisted Curriculum : マイコン利用を前提とした数学カリキュラムの可能性
- 公衆暗号系の実現可能性と問題点
- ファジィ積分を用いたアンケートデータの構造分析法と教育評価への応用
- T.H.E.システム : SS解析によるアンケート調査結果の考察
- CSC (Curriculum Supported by Computer) : 創造力の養成に向けて
- 6-5 CSC (Curriculum Supported by Computer)
- 5-12 CAC(Computer Assisted Curriculum)の実践
- 知識処理に期待する
- E101 構造解析によるTHEシステムのコースウェア分析
- 近未来の数学教育に向けての提言
- わが国の数学教育をみんなのものに
- A131 新しい数学教育の哲学と具体的展開 : 新教育課程 (知的創造に向けての情報化社会における数学教育の展開)
- 科学教育学会誌を振り返って
- 情報化対応における「新しい算数数学教育」 (<第2部>教育の本質を追求する情報化対応の教育 : 技術論議・一般論は終わった。子どもの成長・人間形成を求めて)
- コンピュータに支援されたカリキュラム : 納得の数学を目指して
- 数学教育におけるコンピュータ利用の理念と方法
- 「概念モデル」-数学のイメージ教育におけるコンピュータの役割についての考察-
- 混沌の世界を数学化する作業
- F-1 大学初年級の学生の数学に対する意識調査について
- T32 CAC(Computer Assisted Curriculum)(2) : 授業への実践的アプローチ
- B111 SWSD方式によるTHEシステムの設計
- コンピュ-タ-時代の暗号破り (不思議数学)
- 数学科学生のための計算機概論-3-プログラム-1-
- 数学科学生のための計算機概論-2-計算機小史
- 公衆暗号系
- 数学の応用可能性について (数学の基礎と応用可能性のシンポジウム)