Sage days in Japan

Sage days 63

数式処理ソフト Sage に関するワークショップを, 信州大学 理学部 (松本キャンパス) にて行います. 会場は, 理学部 A棟 4階 401号室 です. なお, 日曜日, 祝日は建物が施錠されています. 理学部A棟の入り口の自動ドアが開く予定ですので, そちらから会場までお越しください. [アクセスなど]

なお, 開催にあたって, 信州大学 学長裁量経費 「表現論を基軸とする数理科学の展開： 信州数理科学研究センター特別重点研究」 からの援助を受けております (参考: 信州数理科学研究センター).

プログラム (Tentative)

10月12日(日)

(Lunch)

13:30-14:30

横山 俊一 (九州大学)

SageMath Cloud とこれからの Sage の開発について

SageMath Cloud とは、Sage の開発チームがサーバを提供し アカウントを発行する事により、クラウド環境で気軽に Sage を利用出来るサービスである。特に Windows ユーザが 嵌り易いインストール時の諸問題を回避する事が出来るため 初心者でも気軽に扱う事が出来る。更に TeX 環境も整備されて おり、アカウント内で文書を作成する事も可能である。 このサービスは以前から提供されていたが、当初は余り パフォーマンスが芳しくなく、実用に耐えるレベルになったのは 今年の始めくらいからである（現在も幾つか改善すべき点は残っている）。 本講演ではこの SageMath Cloud について初心者向けに紹介する。 また時間の許す限り、今後の Sage の開発に関する幾つかの話題を述べる。 【 SageMath Cloud ウェブページ 】 https://cloud.sagemath.com

台風の影響で横山氏の参加はキャンセルとなり, 木村巌による講演となります.

スライドはこちら.

15:00-16:00

青井 久 (立命館大学)

Sage Notebook Server の構築と活用

Sage を個人で試すならば，公式の Sage Notebook Server を利用するのが手軽である． しかしながら，大学での研究や教育のために利用することを考えると， 安定した稼働や情報発信という観点から， 独自に公開サーバを構築することは有用であると思われる． 今回は，立命館大学理工学部数理科学科で運営している Sage Notebook Server について，現状と課題について解説したい．

(Coffee Break)

16:30-17:30

竹森 翔 (北海道大学)

Sageにおける次数2のベクトル値ジーゲル保型形式の計算と開発環境について

この講演では主に2つの内容を話します． 1つ目は，講演者が次数2のベクトル値ジーゲル保型形式をSageで計算した際に 得た結果について話します． 伊吹山氏(大阪大学)によるベクトル値ジーゲル保型形式の行列式に関する予想 についてや Sym(10) 値のジーゲル保型形式のなす加群の構造定理などについて 話す予定です． 2つ目は，Sageのプログラムの開発環境について話します． 特に，GNU Emacs内で，Sageを動かしたりSageのプログラムを編集したりする ためのEmacs lisp package の紹介をします．

(Banquet)

10月13日(月, 体育の日)

10:00-11:00

松井 鉄史 (株式会社 ゴーガ)

Sage と NZMATH

Sage と NZMATH はどちらも10年ほど前に誕生した Python を使った数 学用のソフトウェアであり、Sage にはオプショナルパッケージとして NZMATH が含まれている。本講演では Sage ユーザーに向けて NZMATH の歴史や使い方 などを紹介する。

11:30-12:30

沼田 泰英 (信州大学)

ドキュメントに関する妄想と構想

Sage に関する日本語ドキュメントについて, とりとめなく話す予定.

(Lunch)

14:30-

Coding sprint and discussion.

``作業''をするセッションです. 今回は, 特に``ドキュメント''に関することを中心的な話題とし, 議論をしたり, コードを書いたりしたいと思っています. 興味のある方は是非ご参加下さい. また, 他に話題としたいテーマがあれば, 当日提案いただいても結構です.

注意

各講演のアブストラクトはこちら.

各講演の資料はこちら.

一部のみの参加も歓迎致します. プログラムは今後変更する場合がありあます.

初日10月12日(日)に懇親会を行おうと考えております. 会場の予約のため10月5日までに, 懇親会への参加を予定されている方は沼田 ( nu [at] math.shinshu-u.ac.jp ) までご連絡いただければ助かります.

当日はUstreamでチュートリアルセッションなど 一部の講演を配信するかもしれません. (こちら) しかしながら, 機材や担当者などの都合で不完全な配信となったり, ustreamの配信自体を中止するという可能性もあります. ご了承ください. また, 画質などについても期待しないで下さい.

なお, この日程は 第11回 信州 松本そば祭り(2014.10.11-13) の期間と重なっております. また連休中であり, 登山客や観光客も多くなるかと思われます. 宿が混雑するかもしれませんのでお気をつけ下さい.

[日本語のトップページへ]