• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 13780243
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionKagawa University

Principal Investigator

香川 考司  香川大学, 工学部, 講師 (50284344)

Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2002: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2001: ¥500,000 (Direct Cost: ¥500,000)
Keywords関数型言語 / Web / CGI / 教材
Research Abstract

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

Report

(2 results)
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • Research Products

    (4 results)

All Other

All Publications (4 results)

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

    • Related Report
      2002 Annual Research Report
  • [Publications] Koji Kagawa: "Shrinkable Polymorphic Variants"Proceedings of The Third Asian Workshop on Programming Languages and Systems (APLAS'02). 1-15 (2002)

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

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

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi