数学公式集の作成

琉球大学工学部情報工学科 e105751B 比嘉 啓太 e105733C 名城 智貴

e105756B 宮城 一喜e095765J 倉持 元陽e095767E 平良 太貴

e085739E 趙 飛

プロジェクト・デザインⅡ　第７班

平成２３年度 研究発表会

はじめに近年では， Web 上に様々な情報が掲載されているしかし，膨大な情報の中から必要な情報を見つけるには時間

がかかるそれは，公式などにも言えることである

そこで⇛情報工学科向けの電子的な数学公式集を作成する

効率的に試験勉強や復習を行うために利用することが目的

研究目標 (1/2)Web 上に誰でもアクセス可能な数学公式集のページを構築す

る。また，オンライン環境がなくても利用できるオフライン版の数学公式集も作成する。

オンライン版： PukiWikiオフライン版： EPWING 形式の辞書データ

研究目標 (2/2)●新奇性

辞書データ規格 EPWING を用いた数学公式集はない電子辞書なので柔軟性がある⇛項目の追加・編集が比較的容易

●有効性オンライン環境ならば誰でも利用可能オンライン環境がない場合でも , オフライン版を利用することで公式を閲覧できる⇛多くの環境で公式集を利用することができる

発表内容1. はじめに2. 研究目標3. 各数学公式集について4. 実験及び結果5. まとめ

オンライン版数学公式集 (1/3)Web 上に誰でも編集可能な数学公式集を作成する⇛ PukiWiki が最適

PukiWikiWeb ブラウザを通して誰でも読み書き等，編集が可能なウィキクローン

オンライン版数学公式集 (2/3)コンテンツ

●工業数学 ( ベクトル解析，ラプラス変換 etc...)●確率統計 ( 順列，組み合わせ，確率変数 etc...)●微分積分 ( 微分，積分，偏微分 etc...)●線形代数 ( ヤコビアンの定理，サラスの方法 etc...)の 4 科目分の公式を作成，現時点で約 250 種の公式

数式は TeX プラグイン，画像どちらも利用可能だが…⇛ オフライン版のことも考え，画像を作成する

平良名城宮城趙 飛

比嘉倉持

オンライン版数学公式集 (3/3)役割分担PukiWikiの初期設定　　公式の画像化　　　　　項目の作成

オフライン版数学公式集 (1/4)EPWING 形式の電子書籍データを作成する

EPWING ：日本独自の電子出版用フォーマット

⇛簡単に電子書籍データを自作することができる

オフライン版数学公式集 (2/4)様々なバージョン ,検索方法がある

EPWING V3程度まで対応のビュワー，前方一致検索のみ

オフライン版数学公式集 (3/4)EPWING対応アプリケーション ( ビュワー )

MicrosoftWindows

Mac OSX Linux

iOS Android

●EBWin●DDWin●PDIC etc

●Logophile●CeDar●コトノコ etc

●EbView●gxdic

●EBPocket●iDic●iDictPlus

●DroidWing●EBAndroid

その他 (携帯端末 )●EPPocket(Window Mobile)

●EBBerry●(Black Berry) etc

オフライン版数学公式集 (4/4)役割分担 (移植 )

比嘉倉持平良

名城比嘉

趙 飛趙 飛

工業数学　　　　確率統計　　　微分積分　　　　線形代数　　　　　　

実験 (1/2)●オンライン版数学公式集の構築

PukiWiki を学生に割り当てられた領域に構築し，科目ごとに公式の項目を作成し，数学公式集の構築を行った

実験 (2/2)●オフライン版数学公式集の作成

辞書の項目データを html 文で書き，それを EPWING 形式の辞書データへと変換する

●

　　　　　　　　 　　　 ⇛

実験結果 (1/2)●オンライン版数学公式集の結果

google で検索してアクセス！

Http://ie.u-ryukyu.ac.jp/~e095767/index.php

実験結果 (2/2)EPWING 形式のデータはビュワーがあれば見ることが可能な

ので各端末での動作を動画にまとめた

動画を流しながら説明を行います (重いので別途開きます )

まとめ

しかし，まだ改善すべき点もある改善点

●公式の数がまだ少ない●例題，練習問題の提示●検索窓の導入

我々はオンライン版 , オフライン版の数学公式集の構築を行った

オンライン版は PukiWiki を用いて構築オフライン版は EPWING 形式を用いて作成を行ったこの公式集は，当初の目的であった勉強の効率化を図れるだろうと考えられる