合宿2007 (まとめ)

NZMATH 開発合宿のまとめ。

一日目

13時に小田原駅集合(この頃ちょうど雨が降り出した)。そこからバスで芦ノ湯まで、小一時間、ずっと上り坂。芦ノ湯のバス停から向かいの道を入っていって、今回の宿きのくにやに到着。

部屋に荷物を置いて、さっそく会議室に行ってネットワークの設定をするが、無線LANの電波が弱いのか DHCP サーバーに繋がらなかったり、繋がっても DNS で名前を引けなかったり、意外に苦戦した(結局後でもう少し電波の状態の良い隣の部屋に移動させてもらった)。仕事の分担を決めて議論を始めたと思ったら、あっという間に夕食の時間。夕食後も約3時間作業。この日やっていたのは多項式の再実装。会議室は一応夜10時までということなので、無線LANのハブともども部屋に引き揚げ。で、予想外に泊まる部屋の方が電波の状態が良かったりする。

当然、箱根なので温泉に入り、就寝までテレビを見ながらちょこちょこ作業。

二日目

メインの一日。朝食をきっちり食べて、前日の作業の続き。ネットワークがまた繋がらなかったりして時間をロスする。ネットワークの回復を待つ間プロジェクターでソースを見せ合ったりして、前日の作業の確認をする。一変数でまあなんとか書けたので、多変数も同様に…と午前中は議論を詰める。

昼に弁当を食べた後、買い出しに出向く。宿の周辺には店が無いので、徒歩で30分強(ぐらいだったかな)かけて芦ノ湖まで下りていった。前日の雨から一転、晴れ渡っていた。コンビニで買いものをして、帰りはバスで戻る。バスだとわずか5分。

この日の午後、そして夕食後は、私は多項式から離れて round 2 法というのを書いてみた。が、行列関係の機能が不足していて動きそうもない。

夜9時から、軽く飲み会＋カラオケ。カラオケはおまけ。

最終日

今日になるわけだが、宿ですることは朝食を摂ることだけ。チェックアウトして、バスで小田原まで戻り、反省会(場所を探して結局駅ビルの中のハワイアンカフェマカメドウズで)。正午ぐらいに小田急線に乗り、帰路に。

合宿

今日から7日まで箱根で NZMATH 開発合宿。 箱根という辺りが、去年の八王子大学セミナーハウスでのもの(合宿 (まとめ))と違った期待を抱かせる。 とりあえず自転車で行けないことだけは確か。

NZMATH 0.5.1

少し間が空いたが、若干の改良とともにリリース。 sourceforge.net にプロジェクトページを運用するようにしたから、それに合わせて NZMATH 関係の日記はできるだけ diary and notes に英語で書くことにする。

ぐだぐだ

調子が悪く、ゼミは自主的に休み。

NZMATH の最近来たリクエスト関係の処理だけなんとかこなす。 ring.py なんていう抽象的な部分を引っ掻いてくれているので、使われている実感が湧いて嬉しい。

Frobenius test

ゼミ開始。午前は西本君で QPKC の計算実験の話。午後は NZMATH の時間は Frobenius test の実装。整数論セミナーは津村さんで多重ζ関数の話。その後、Frobenius test のテストを書いたら、Crandall & Pomerance: Prime Numbers 2nd ed. の誤りが判った。 4181 と書いてある Lucas 擬素数は 4187 であった。

神戸(まとめ)

1日目

9:50発のぞみで新神戸まで。あいにく雨なので地下鉄・阪急・バスと乗り継いで神戸大学へ。

会場に着くと高山先生の講演が既に始まっていた。講演を聞く内にコーディングせねば、という気になって数体の元のクラスをざっと書く＜内職かよ。

泊まったのは姫路の方の兄の家。切符を買う時に木田先生に「そんなに掛かるほど遠くに泊まるの」と突っ込まれた。阪急から阪神高速鉄道、山陽電鉄と乗り入れ路線同士とは言え違う会社のを乗り継ぐからだとは思うが。なお、何を御馳走になったかはこの辺りに書いてある。

2日目

朝一が NZMATH の発表なので遅刻しないように早めに出発。雨が上がったので六甲からは徒歩。

午前は NZMATH 関係2本と九大の素数判定・証明関係3本。午後の講演の中では JavaScript で数式入力システムを作ったという電通大の中野さんの発表が面白かった(こんなの)。筑波大の佐々木先生の還暦記念講演が最後。

懇親会は六甲道まで下りて3時間ぐらい。

3日目

Mandelbrot 集合の泡(特定の吸引点集合に落ち込む領域らしい)を risa/asir で計算・描画するという発表でスタート。内職で、合宿で書いてもらった AKS を、書き直しつつある多項式の実装を使って、6桁の判定に20分ぐらいまで高速化(以前は3時間かかっても終わらなかった)。

帰りは梅田で昼食後、米原まで快速、米原からは新幹線。名古屋から中央本線という馬鹿ネタもあったのだが、調べたら特急に乗っても松本まで2時間さらに八王子まで2時間、ということで眠たいので見送り。

神戸

これから RisaCon2006@神戸大学 に参加してくる。 NZMATH の講演もあるが話すのは自分じゃないから気分的に楽だ。

合宿 (まとめ)

NZMATH 合宿のまとめ。

一日目

自転車で行ったら、是政を過ぎた辺りから強い南風に速度を鈍らされる。後で聞いたところによると春一番だったらしい。かなりバテた。

セミナーハウスでは、まず新人向けガイダンス。そのあと、AKS の多項式時間素数判定アルゴリズムを数理科学に載っていた木田先生の解説を元に実装してもらった。ただ、時間の関係で、未完成のまま一旦中断。

夕食は北野方向に探しながら降りて、結局、ジョリーパスタまで。

夕食後は、matrix と vector のレビュー。

二日目

朝食前にトレーニング。坂を走ったので息切れした。そのあと本館の食堂で朝食。

午前中は今後の目標などを話しあったあと、代数学の復習。

午後はプログラミング。新人たちは前日の続き、他は matrix の改修とか数体関連の実装とか。最後に、finitefield のレビュー。

長い夕食…

三日目

トレーニングのメニューは軽め。朝食は食欲がなかったので、薄味の味噌汁だけ食べた。

慌ただしく、宿泊室を引き払ったあと、反省会をして解散。

合宿

これから NZMATH の合宿@大学セミナーハウス。さて、どんな成果が上がるのか。

数体

0.5.0 をリリースしたので、次の課題として数体に関する機能を実装することにした。今日は、とりあえずどこから手を着けていくかの討議を幾人かと。

NZMATH 0.5.0

NZMATH 0.5.0 をリリースした。主な改良点は、

• factor の構成の見直し
• 有限群の初歩的な計算用モジュール group, permute の追加
• 虚2次体の類数の計算をする quad の追加
  

だ。

• NZMATH-0.5.0.tar.gz
• NZMATH-test-0.5.0.tar.gz
  

NZMATH開発ガイド

来年度の新人教育を考えて NZMATH開発ガイド を書いておくことにした。

AC2005 二日目

2年に1度の「代数学と計算」、その二日目。 一日目の昨日は熱があったのでひたすら睡眠のため出席せず。 今日も熱が下がったとは思わないが、発表するので熱のことは忘れることにする(とはいえ、やっぱり調子は悪い)。

午後の見た目にかっこいいプレゼンの後に、magicpoint で味も素気もなく喋る。 唯一の飾りだったお魚(虹鱒君)がプロジェクターで映したら半分隠れてしまったのでますます地味。

明日は、講義の方の都合でまた出られないのだった。

後付けの構造

「○○は実は＊＊であるから××できる」というのは、扱いづらい。

たとえば、 環の加法群は常に可換群だからZ-加群でその意味で環の元に整数を掛けることが常にできる。 さらに言えば、整数を足すことも環の 1 に掛けてから足すと思えば自由にできる。

という現実をどうプログラムに落とし込めばいいのか。

岡山日帰り

岡山大学で行われた「数学ソフトウェアとフリードキュメント」に行って、NZMATH の紹介をしてきた。

８時過ぎに家を出て、日曜日で中央線が通過してしまうので総武線・中央線と乗り継いで東京駅へ。 9時台ののぞみで岡山着は12時半頃。 そこから、そんなに遠くないと思って歩いて岡山大学まで、実際には結構距離があって30分近くかかって会場到着。 大学のキャンパスも広い。

印象に残ったのは kseg の紹介。 あと、KNOPPIX/Math 以外の Linux 勢が概してシンプルな WM だった(fluxbox とか afterstep とか)のは、偶然だろうか。

6時ごろ閉会して、懲りずに徒歩で岡山駅に戻る。 7時台ののぞみで、電源の取れる席が空いてたので ThinkPad を広げつつ。 帰宅は0時を過ぎたが、岡山日帰りの一日。

マニュアル整備

台風の接近する中 NZMATH のマニュアル整備。適当に書いたまま放置している辺りが主。

NZMATH 0.4.0

火曜日にリリースしました。
(NZMATH-0.4.0.tar.gz)

新しい機能は、多項式の複素根を求めたり、整数係数多項式を因数分解したり、といったところです。 ほかにも、細かい修正は(なにせ半年ぶりのリリースなので)いろいろ。

改善すべき点など何かありましたらお気軽にどうぞ。

pylint

pylint を入れてみた。 NZMATH のコードに対して走らせると、変数の名前が短すぎる、というのがたくさん出る。 自然数 n とか有理数 r なんてものをどう伸ばせと? あと、lambda の変数は「初期化せずに使っている」とエラーにされた。

SAGE

SAGE といっても SAGE とは関係ない。 SAGE (Software for Arithmetic & Geometry Experimentation) というのが最近出きたという話。 Python から PARI を呼ぶことで計算システム化するようだ。

ちなみに、PariPython というプロジェクトが昔あったが、1996年ぐらいに終了していたらしい。

地道に

今日も NZMATH のドキュメントの整備。 かったるくても地道に地道に。