数学ソフトウェアとフリードキュメント XX

  • 2015年3月20日(金)13:00–18:00
  • 明治大学駿河台キャンパスリバティタワー14階1145教室
  • 東京都千代田区神田駿河台1-1
  • JR中央線・総武線、東京メトロ丸ノ内線／御茶ノ水駅　下車徒歩3分
  • 東京メトロ千代田線／新御茶ノ水駅　下車徒歩5分
  • 都営地下鉄三田線・新宿線、東京メトロ半蔵門線／神保町駅　下車徒歩5分
  • 入場無料
  • 会場で MathLibre 2015 DVD を配布予定です。また、3/21-24は同じ14階の1146教室（休憩室）でDVDを配布予定です。
  • 終了後に講演者を囲んで懇親会を企画しています。
  • 懇親会参加を希望される方は、3/18までに濱田 (hamada at fukuoka-u.ac.jp) まで連絡いただければ幸いです。
  • ポスターを作成致しました．皆様，どうぞ，よろしくお願いいたします．

組織委員会

  • 野呂正行 (立教大学)
  • 高山信毅 (神戸大学)
  • 濱田龍義 (福岡大学/OCAMI)

後援

  • 日本数学会情報システム運用委員会

講演者 （あいうえお順）

  • 久我健一 (千葉大学)
  • 中川義行 (龍谷大学)
  • 橋本竜太 (香川高等専門学校)
  • 濱田龍義 (福岡大学 / OCAMI)
  • 三谷純 (筑波大学)

プログラム

  • 13:00-13:40 “MathLibreの正しい使い方，GeoGebraの間違った使い方” 濱田龍義（福岡大学 / OCAMI）
  • 13:50-14:30 “しりごみしていた TikZ にはまりました。” 橋本竜太（香川高等専門学校）
  • 14:40-15:20 “マーク式テストの活用” 中川義行（龍谷大学）
  • 15:40-16:30 “証明システムを用いた同相写像構成の検証” 久我健一（千葉大学）
  • 16:40-17:30 “折り紙設計のための数理とソフトウェア” 三谷純（筑波大学）

概要

  • 13:00-13:40 “MathLibreの正しい使い方，GeoGebraの間違った使い方” 濱田龍義（福岡大学 / OCAMI）
    • MathLibreは手軽に数学ソフトウェアを使える環境を目指して開発が進められています．利用にあたっては，DVD起動，USB起動，ハードディスク起動など，様々な方法が用意されていますが，慣れていない方には敷居が高いようです．ここでは，比較的簡単な方法として仮想マシンを用いた利用方法を紹介します．また，GeoGebraを始めとして，収録されているソフトウェアについても幾つか紹介する予定です．資料
  • 13:50-14:30 “しりごみしていた TikZ にはまりました。” 橋本竜太（香川高等専門学校）
    • 分厚いマニュアルにしりごみしている貴方に代わって，TikZ のマニュアルを頑張って読んでみました。そうしたところ，どんなことになったか。講演者が教育現場にて作った図（を作る様子）を見ていただきつつ，TikZ の魅力を紹介します。資料
  • 14:40-15:20 “マーク式テストの活用” 中川義行（龍谷大学）
    • マーク式テストは，本格的な学力試験には向いていないが，基礎事項を短時間で確認するには最適の試験である。本講演では
      1. マーク式テストをAMCパッケージを用いてLaTeXで作成する方法
      2. 答案のスキャナー画像を用いて自動採点する方法
      3. マーク式テストを活用するための留意点 について述べる。
  • 15:40-16:30 “証明システムを用いた同相写像構成の検証” 久我健一（千葉大学）
    • Coqはグラフ理論の４色定理や有限群論のFeit-Thompsonの定理の証明を「形式化」した実績をもつ証明支援システムです（それぞれ2004年、2012年）。公理から定理に至る道筋を全てコンピュータを用いて形式化すれば、その定理は最終的に確認され完全な電子データとして保存されたと考えることができるでしょう。 この発表では、まずCoqの簡単な使用説明を行い、実際に位相空間の公理から、いくつかの簡単な命題を導いてみたいと思います。次に、最近我々が行った、Baireカテゴリー定理の形式化とそれを用いたBing収縮判定法の形式化の説明をします。Bing 収縮判定法を用いると、ある仮定のもとに、２つの空間の間の同相写像の存在を結論付けることができます。資料
  • 16:40-17:30 “折り紙設計のための数理とソフトウェア” 三谷純（筑波大学）
    • 1枚の紙を折るだけで形を作る折り紙は、幅広い人々に親しまれているが、意図した形を作りだすことは困難で、幾何学的な制約条件下での設計理論が必要となる。現代では、ソフトウェアの力を借りることで、多種多様な形を作り出すことが可能となった。本講演では、近年の折り紙の設計理論の発展を概説するとともに、折紙を設計するために開発されたソフトウェアをいくつか紹介する。また、それによって作りだされた折紙作品とその活用事例も併せて紹介する。資料