教材用Webページ作成システムに関する研究

教材网页制作系统的研究

• 批准号: 13780243
• 负责人: 香川 考司
• 金额: $ 0.7万
• 依托单位: Kagawa University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 2002
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13780243/
• 关键词: 関数型言語; Web; CGI; 教材

平成14年度は、前年度に作成したMLSwfライブラリ(関数型言語Objective Caml上に実装されたSWF形式-Macromedia Flash^<TM>が使用するアニメーションのためのデータ形式-を出力するためのライブラリ)を拡張し、テキスト整形ソフトウェアTeXの出力形式であるDVI形式からSWF形式に変換するためのライブラリを作成した。このライブラリは文字だけではなく、tpicなどのスペシャル命令にも対応しており、グラフや木などの図形もSWF形式に変換することができる。また、ActiveDVIというTeXを用いるプレゼンテーションソフトのspecial命令を解釈し、ページのスライドイン・ワイプなどの簡単なアニメーション効果を生成できる。これにより、複雑な文字・図形のレイアウトを持つ教材を以前よりも格段に簡単に作成できるようになった。このライブラリで作成したアニメーションは言語処理系の授業や自主セミナーなどで、構文解析や字句解析などの説明(例えばオートマトンの動作)に実際に使用した。これを利用した何人かの学生からは、自習時に理解の助けになったという意見が寄せられた。また現在、型推論のエラーメッセージなどの結果をプログラマにわかりやすく説明するための可視化プログラムを作成しており、本研究で作成したライブラリを用いている。また本ライブラリをObjective Caml以外にJavaScript風の言語から呼び出せるようにすることを検討しているが、そのためにShrinkable VariantとDynamic Inheritanceという概念を提唱した。現在、これらの概念の実装方法を検討している。

In the Heisei 14 fiscal year に and the previous year に, the <s:1> たMLSwfラ ブラリ(related to numerical language Objective Caml に actual installation されたSWF form -Macromedia) was completed Use Flash ^ > < TM が す る ア ニ メ ー シ ョ ン の た め の デ ー タ form - を output す る た め の ラ イ ブ ラ リ) を company, zhang し, テ キ ス ト plastic ソ フ ト ウ ェ ア TeX の output form で あ る DVI form か ら SWF form に variations in す る た め の ラ イ ブ ラ リ を made し た. こ の ラ イ ブ ラ リ は text だ け で は な く, tpic な ど の ス ペ シ ャ ル command に も 応 seaborne し て お り, グ ラ フ や wood な ど の 図 form も SWF form に variations in す る こ と が で き る. ま た, ActiveDVI と い う TeX を with い る プ レ ゼ ン テ ー シ ョ ン ソ フ ト の special command を solution 釈 し, ペ ー ジ の ス ラ イ ド イ ン · ワ イ プ な ど の Jane 単 な ア ニ メ ー シ ョ ン unseen fruit を generated で き る. こ れ に よ り, complex 雑 な writing · 図 shape の レ イ ア ウ ト を hold つ textbooks を before よ り も lattice period に Jane 単 に made で き る よ う に な っ た. こ の ラ イ ブ ラ リ で made し た ア ニ メ ー シ ョ ン 処 principle is の は words fill や independent セ ミ ナ ー な ど で, construct the analytical や words な ど の instructions (example え ば オ ー ト マ ト ン の action) に be interstate に use し た. Youdaoplaceholder3 れを make use of <s:1> た to ask who <s:1> students ら ら, に for understanding during self-study, けになったと for helping けになったと う for う to send their opinions が to せられた. ま た now, type inference の エ ラ ー メ ッ セ ー ジ な ど の results を プ ロ グ ラ マ に わ か り や す く illustrate す る た め の visualization プ ロ グ ラ ム を made し て お り, this study で し た ラ イ ブ ラ リ を with い て い る. ま た this ラ イ ブ ラ リ を Objective Caml に JavaScript outside wind の words か ら shout び out せ る よ う に す る こ と を beg し 検 て い る が, そ の た め に Shrinkable Variant と Dynamic Inheritance と い う concept を mention sing し た. Now, the <s:1> れら <s:1> concept <e:1> implementation method を検 discusses the <s:1> て る る る る.

项目成果

香川 孝司: ""Shrinkable"な多相ヴァリアント"第4回プログラミングおよびプログラミング言語ワークショップ論文集. 41-55 (2002)

Takashi Kakawa：“可收缩”多态变体，第四届编程和编程语言研讨会论文集 41-55 (2002)。

Koji Kagawa: "Shrinkable Polymorphic Variants"Proceedings of The Third Asian Workshop on Programming Languages and Systems (APLAS'02). 1-15 (2002)

Koji Kakawa：“Shrinkable Polymorphic Variants”第三届亚洲编程语言和系统研讨会 (APLAS02) 论文集。

Koji Kagawa: "Dynamic Inheritance for a Prototype-based Language"Multiparadigm Programming with Object-Oriented Languages (MPOOL)2^<nd> International Workshop Proceedings. 109-120 (2002)

Koji Kakawa：“基于原型的语言的动态继承”面向对象语言的多范式编程 (MPOOL)2^<nd> 国际研讨会论文集。

香川 考司: "MLSwfライブラリ"第5回プログラミングおよびプログラミング言語ワークショップ論文集. 104-119 (2003)

Koji Kakawa：《MLSwf 库》第五届编程和编程语言研讨会论文集 104-119（2003）。