数理解析・計算機数学 III
数理解析研究所講究録 第1976巻
... ここで $\partial\overline{C}_{k}$ は Cell $C_{k}$ の閉包の境界をなす集合である． 大雑把にいえば，この Character は零点が Cell の境界上にある場合に 1 となる．この Character の実装 としては，関数が 2 変数有理係数代数関数であれば，Sturm 列を求め Sturm の定理により解の判定が確実 にできることを利用すれば計算できる． ...
10
数理解析研究所講究録 第1951巻
... : 数学の計算問題を取り扱う上で，四則演算，括弧，関数などの 取り扱い方，かつその計算上の優先度が非常に重要な数学ルールである．この数 学ルールを認識することも重要であるが，数学的に表現できることも数学を正し く認識していることの一つとなる．これを実現するために数学解答をコマンドラ ...
10
Title 2010 年代の日本の教育用数学ソフトに必要なこと : GC/html5 の開発と実践からの提言 ( 数学ソフトウェアとその効果的教育利用に関する研究 ) Author(s) 飯島, 康之 Citation 数理解析研究所講究録 (2014), 1909: Issue Dat
... 90 年代に，さまざまな実践がなされたとはいっても，それは限られた学校での実 践であった。 中規模以上の学校では，学校に一つしかないコンピュータ室を数学の授 業ばかりすることは現実的でない。cabri のよ な商業ソフトでは予算の確保が必要 になる。いや，GC のような無償ソフトでも，勝手にインストールすることはできない だけでなく，無償ソフトだからインストールできないというケースもあり，本格的な ...
12
教科専門科目の内容を活用する教材研究の指導方法 III : TitleTeam 2 プロジェクト ( 数学教師に必要な数学能力に関連する諸問題 ) Author(s) 青山, 陽一 ; 神, 直人 ; 曽布川, 拓也 ; 中馬, 悟朗 Citation 数理解析研究所講究録 (2013), 1828
... れないが，内容的関連からここで触れることにした．最後の小節 2.3 では，ユークリッ ド作図不可能な角の三等分について，別の手段を用いる作図に関して述べることにした． 2.1 ユークリッド原論，ユークリッド幾何，ヒルベルト幾何学の基礎 近頃は ‘ ユークリッド ’ という名あるいは語を知らない学生がかなり居るようである． 高校まで習ってきた幾何がユークリッド幾何学と呼ばれる分野のものでユークリッド原 ...
26
数理解析研究所講究録 第1921巻
... 4 誤解が生じないよう，コメントをつけておきたい。 本稿では未だ関係が見いだせていないが，前双対の なす前層構造を考察する利点は時空 1 点 $x\in M_{4}$ での状態を芽 (germ) として扱えることにある [17]。[17] で議論されているようにこの観点と演算子積展開 (operator product expansion, OPE) は大変結びつきが強 い。 この議論を受けて， Bostelmann[4] では ( ...
14
数理解析研究所講究録 第1986巻
... 闇をあらわす． $i=p+1,$ $p+q$ の場合は時刻 $b_{i}$ で生 $\Re$ したホモロジー類は消滅しな いことを憲味する．重要なことは $\check{input}X\Rightarrow\frac{\bigcup_{i--1}^{p}\{(b_{i)}d_{i})\}\cup\bigcup_{i--p+1}^{p+q}\{(b_{i},\infty)\}}{output} (2.1\rangle$ ...
16
平成 19 年度 ( 第 29 回 ) 数学入門公開講座テキスト ( 京都大学数理解析研究所, 平成 19 ~8 年月 72 月日開催 30 日 ) 1 PCF (Programming language for Computable Functions) PCF adequacy adequacy
... に 相当す る 。例えば Ω = (rec f (x : nat) : nat . f x) と し 、 ` Ω 0 : nat と いう プ ログ ラム を 考え る と Ω 0 ⇑ で あ る 。 理由 1 と 理由 2 を 区 別す る た め 、実行時エ ラー の 概念を 取り 入れ て 操作的意 味論を 展開す る こ と も 可 能で あ る 。実行時エ ラー の 発生を 表わ す 特殊な 値 error を 導入し ...
18
数理解析研究所講究録 第1955巻
... 一方，昨年度から大学での初等教育を行う機会が増え，適切な教材作 成や成績処理など教育活動においてもパソコンの活用が可能ではない力 $\searrow$ と考え，昨年度行った講義の離散数 学や複素平面，常微分方程式，初等整数論などには 10 進 BASIC を活用した．今年度は，数式がそのまま扱え る，より高度な機能を持った Risa $/$ Asir を用いることにした[r] ...
12
Ⅳ．計算機およびソフトウェア（物性解析・設計・制御用） 主な研究設備・装置一覧｜研究・産学連携｜豊田工業大学
... 自前利用 / 代行支援 経験者（要受講） ＮＴＣｸﾘｰﾝﾙｰﾑ 25 示差熱天秤 1500℃までの TG,DTA 同時測定 自前利用 経験者. 大石泰丈[r] ...
2
先進理工系科学研究科 ( 博士課程前期 ) 先進理工系科学専攻主指導教員一覧表 (2020 年 11 月 1 日現在 ) 理学系プログラム 数学プログラム 研究分野 研究内容 担当教員 代数数理 多様幾何 数理解析 確率統計 総合数理 代数学, 整数論, 数論幾何学, 群論, 表現論, 可換環論,
... 菊植 亮 村松 久圭 材料力学 相変態が発生する材料の衝撃・熱・力学・破壊挙動の実験的評価と組織 観察によるキャラクタリゼーション，高衝突エネルギー吸収材料の応用 による耐衝突性向上部材の開発，衝撃試験法の開発と高精度化，相変態 が発生する材料の均質化法に基づいたマルチスケール解析，微視力の概 念による転位運動のシミュレーションと変態－結晶塑性解析，微視力の ...
19
Ⅳ．計算機およびソフトウェア（物性解析・設計・制御用） 主な研究設備・装置一覧｜研究・産学連携｜豊田工業大学
... 並列演算クラスターサーバ 光機能物質. クラスタ計算機 制御システム.[r] ...
1
数理解析研究所講究録 第1955巻
... $arrow 2^{2\cdot 53\cdot 7868849}=-1mod n$ 、 $3,7$ も同様、 $5^{53\cdot 7868849}=-1mod n.$ ( 【参考】 $\psi_{1}=2047=23\cdot 89,$ $\psi_{1}-1=2\cdot 3\cdot 11\cdot 31,$ $23-1=2\cdot 11, 89-1=2^{3}\cdot 11arrow 2^{11}=2048=1mod ...
10
数理解析研究所講究録 第1908巻
... 較的容易に計算できる ( ここで， $\lambda$ を連続的に小さくしていった時， $\hat{\beta}$ のいずれかの成分 の符号が変化する $\lambda=\lambda_{transition}$ を変化点という ). いま， $\sqrt{}\wedge$ の成分のうち，ゼロでない部 分のみを取り出したベクトル $\beta\hat {}\mathcal{A}\lambda$ は，次で与えられる． ...
21
表示 計算数学Ⅰ Introduction
... 『計算数学 I』の目的と概要 目的：情報を処理する機械としてのコンピュータを、学習・研究に活用できるようになること。 対象：上記目的のために主体的に努力する用意のある学部学生・大学院生・その他すべての人。 進め方：オンライン教材による自学自習を中心とし、自分で手と頭を動かす。 ...
2
数学と計算機科学の相互作用：計算代数とHaskellにおける安全性と拡張性
... 各テーマの内容および著者による研究成果は以下の通りである。 1) の研究テーマでは、純粋関数型言語における「副作用」を伴う機能の合成を取り上げている。一般の 手続き型プログラム言語が、入力されたデータを操作する命令の列を主体にしてプログラムを組むのに対 し、関数型プログラミング言語では、入力されたデータに対し、関数の適用を組み合わせることによってプ ...
4
表示 2016年度計算数学Ⅰ 第3回
... TeX 実習の目的 1. TeX (LaTeX) とは何かを知り、数学科におけるその必要性を理解する。 2. TeX システムを Windows にインストールし、使うための環境構築ができる。 3. LaTeX の基本的な使い方を理解し、簡単な数式を含む文書のタイプセットができる。 4. 基本的な組版上のルール 1 を理解し、それに合ったタイプセットができる。 ...
4
Title スーサ数学文書 No.24 の解読について ( 数学史の研究 ) Author(s) 室井, 和男 Citation 数理解析研究所講究録 (2002), 1257: Issue Date URL
... ものの意味が不明であることであり、二っ目は、書き誤りと計算ミスが解釈を 困難にしていることである。スーサ数学文書 No. 24 ( 裏面が未解読 ) は、これ らの穴掘り問題に属するものであり、後で見るように、その数学的内容はこの 種の中では最も複雑なものと言ってよい。 ( 一般に、スーサ数学文書の数学的 ...
11
Title 数学史研究最新動向 ( 数学史の研究 ) Author(s) 林, 知宏 Citation 数理解析研究所講究録 (2002), 1257: Issue Date URL Right Type
... 1 はじめに 近年の数学史研究の動向を眺望するために , 本稿はいくつかの最新文献の紹介を試み る . ただし和算 , およびアジアにおける数学史研究は除く . 欧米, または我が国で出版さ れる代表的論文集に掲載されたものから興味深いものを , 筆者の目が届いた範囲内で可能 な限り網羅していくことにしたい . また議論の拡散を防ぐために , 時間的な幅としてこの ...
11
HOKUGA: 計算機シミュレーションによる多色光スペックルの色彩統計解析
... Statistical analysis of colors in computer-simulated polychromatic speckles Jun Uozumi ＊ and Yutaka Sakai ＊＊ 要 旨 連続スペクトルを持つ空間的にコヒーレントな入射光によって光学的粗面の像面およびフラウンホー ...
20
数学的モデルによる「多数決」の解析
... おわりに 本稿では, 多数決原理の有効性について数学的な背景を明らかにし, 集団の構成員の正解率が 1 2 以上であると, 単純過半数の場合, 構成員数が多いほど集団としての正解率が向上すること を解析的に示した.[r] ...
9