数理の遊び場へようこそ

このページは建設中のものです！！

田舎のしょうもないおっちゃんの遊び場です。この世界には素人ですので、どうかやんわりと。。。

0. 前準備

数式を表現するのに LATEX を使ったものが今までは多くありましたが、Web 時代になって、LATEX の経験を踏まえ新しい表現手法が標準化されました。それが W3Cにおける Mathml の規約です。この規約に準拠したサンプルを以下に提供します。

ブラウザについての要件

この遊び場のコンテンツを見るためには、XML規約であるXHTML1.1とMathml2.0規約（のPresentation書式）とともに、一部はさらに、SVG規約で書かれた文書を表示できるブラウザを使わなければなりません。それが可能なブラウザにはつぎのものがあります。

ブラウザ名	必要な処置	補足説明
FireFox	ここからダウンロードしてインストール

0.1. あなたのブラウザの簡単なMathml対応度チェック

あなたがお使いのブラウザがMathmlに対応しているかについてはここをクリックすればわかります。

以上の画像のように表示がちゃんとなされるかで確認できます。

0.2. あなたのブラウザの簡単なSvg対応度チェック

これから用意します。

1. コンテンツ

中学・高校の数学を C/C++ あるいは Java のプログラミングで楽しもう。

数学嫌いというだけで、あなたの人生の可能性を狭めてしまうなんてもったいない。プログラミングして、どんどん数学を楽しもう。（コンテンツは、いま、作っています。）
三角関数、指数関数と複素数:

複素数の世界で、三角関数や指数関数を見るとそれらの関連がよく理解できます。
Γ（ガンマ）関数:

この関数は、自然数あいての階乗関数を複素数にまで拡張（一般化）するものです。階乗関数とは、たとえば、5! = 5×4×3×2×1 = 120 という ! で表す関数です。その一般化がなんの役にたつの？についてはおいおいと。。。
一般化二項係数:

二項係数の複素数への拡張
GF(2) 上の多項式の既約性判定と因数分解

GF(2)上の原始既約多項式は、符号理論・暗号理論等で重要な役割を担っていますが、ここではそのための多項式の既約性を判定する方法、さらには可約な場合にはそれを因数分解する方法を議論しています。
まだ書きかけのコンテンツです。
統計関数
正規分布、カイ二乗分布、t-分布、F-分布

2. その他の補足的な情報

数式に使う記号の表示

文字実体参照 :

数学記号は直接キー入力できません（そんなキーはありません）から、キーボードの文字を組み合わせて、数学記号の一つずつの文字（実体）を指定（参照）します。こういう方法で、文字の形を指定することを文字実体参照といいます。

XML宣言からヘッダー部の記述

SVG を使わない場合

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" 
               "http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [
  <!ENTITY mathml "http://www.w3.org/1998/Math/MathML">
]>
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="ja-JP" lang="ja-JP">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
    <meta http-equiv="Content-Style-Type" content="text/css" />
    <title>タイトル</title>
    <link type="text/css" href="style.css" rel="stylesheet" />
  </head>

このなかで mathml という実体を "http://www.w3.org/1998/Math/MathML" の URL（名前空間）で定義していることに注意。

SVGを使う場合

これから用意します。

ご意見はE-Mail でお願いします。First presented on May 31, 2007, and Last updated by Y. Kanai on July 23, 2010. 金井泰憲