メモ： http://wstein.org/home/wstein/www/home/combinat/sage/devel/...

posted at 21:44:10

@ysykimura ああ、なるほど。中身を覗いてみたわけですね。それだと WIndows+VirtualBox な環境はつらそうです。でも大体の感じはわかりました。ClusterSeed を指定するときの「最後の数字」を除けば大体大丈夫なんですね。

posted at 21:12:31

RT @ysykimura: @genkuroki おそらくcompediumが出た以降に修正されていると思われますので、どこにも書かれていないと思います。quiver_mutation_type.pyを直接開いて調べました。

posted at 21:10:43

@ysykimura どうもありがとうございます。その修正はどの文書に書いてあるのでしょうか？クラスター代数パッケージの仕様が書かれた文書を見付けることができないでいます。

posted at 21:04:04

RT @ysykimura: @genkuroki S23 = ClusterSeed(['R2',[2,3]]); S23 と修正すれば動きます。

posted at 20:54:17

本気で使うなら、Windows7 VirtualBox 内で Sage-5.0 を動かすんじゃなくて、素直に Linux を入れて使った方が良さそうな感じ。

posted at 20:23:08

S = ClusterSeed(['A',[2,5],1]); S.show(); S とかだとうまく行く。ClusterSeed の指定方法の仕様が変化しちゃったのかな？／あれ？ S.interact() が動かなくなった。なぜだ？ upgrade したのが悪かった？

posted at 20:22:10

ううむ、 S23 = ClusterSeed(['R2',[2,3],2]); S23 だとエラーになっちゃうんだよなあ。なぜだ？ The Compendium (1).sws をダウンロードしてその行を Evaluate するとエラー http://bit.ly/K8CUSo

posted at 20:15:43

WIndows7 VirtualBox 内の Sage-5.0 環境で ./sage -combinat upgrade を始めてしまった。と、書いているうちに、アップグレード終了。gcc が何度も走っていた。

posted at 20:05:51

「素敵」と書いてあったが、「素数」と書いてあるのかと思った。素数は素敵。

posted at 19:40:00

http://bit.ly/JOYrLO にある AsirPad のデモ。PDAザウルスにおける手書きインターフェイス手段の計算代数学ソフトウェア。数式を手書きで入力して数式処理！

posted at 19:33:25

ちなみに Microsoft OneNote 2010 にも数式を手書きで入力する機能があります。その機能も仕事で使おうとは思いませんが、結構面白いです。

posted at 19:18:31

正直な意見として Infty Editor を仕事で使おうとは思いませんが、手書きの数式がリアルタイムで整書される様子はとても面白いです。

posted at 19:14:34

さっそく http://bit.ly/LGWyDR から英語版(日本語対応ではない)InftyEditorをダウンロードしてタブレットPC(FUJITSU Stylistic Q550/C 指とペン対応)にインストールしてみました。おお、手書きが本当に整書される！

posted at 19:09:38

Infty Projectのデモ http://bit.ly/JOYrLO に手書きの数式がリアルタイムでLaTeXで整書される動画がありますが、それができる英語版のInfty Editorは無料で使えます。 http://bit.ly/LGWyDR からダウンロードできる。

posted at 19:08:03

Infty Projectのデモは http://bit.ly/JOYrLO にある。動画ファイルはZIPファイルに梱包されており、ダウンロードして展開すれば見ることができる。手書きの数式がリアルタイムで自動的にLaTeXで整書される！数式も含めたOCRも可能！これはすごい！

posted at 17:56:54

http://bit.ly/JOXVgW でInfty Projectの存在を初めて知った(すみません、知りませんでした)。 http://bit.ly/JOY8Rt のデモを見てみた。手書きの数式がそのままLaTeXで整書される様子の動画のデモなどが置いてあった！

posted at 17:52:00

【Sage】メモ：(4) A compendium on the cluster algebra and quiver package in sage http://arxiv.org/abs/1102.4844

posted at 16:07:36

【Sage】メモ：(1)Sage and cluster algebra workshop http://bit.ly/K8CUSo (2)Sage-Combinat http://bit.ly/KFAkAp (3)ML http://bit.ly/KFAuYr

posted at 16:04:35

Sage-5.0についてくる組合せ論のライブラリは仕事で使える可能性大なので、root でログインして、su sage RET cd RET cd sage RET ./sage -combinat install (昨晩深夜と同様に)してみた。使い方はこれから調べる。

posted at 15:52:08

全部やり直してみたが、結果はすべて同じ。どのようにしても localhost:8000 は Not Found. 要するに VirtualBox の NAT で Port forwarding がうまくいっていないという話。もうあきらめて生産的な仕事に移ろう。

posted at 15:50:17

昨晩ツイートしたように、ネットワークと共有センターから VB Host-Only Network の VB Bridged Networking Driver にチェックを入れて使用している。チェックを入れても入れなくても localhost:8000 Not Found

posted at 15:48:43

理解不能なのはVirtualBox内のSage-5.0のSettingsのNetworkがAttached to NATでかつ 127.0.0.1:8000 への Port Forwarding の設定もあるのに駄目なこと。全部やり直してみよう。

posted at 15:25:07

個人的には他の端末からも Sage-5.0 server にアクセスできた方が便利なので、Attached to を Bridged Adapterにしておいた方が便利なんですが。

posted at 15:15:55

ううむ、WindowsでのVirtualBoxでSage-5.0を動かしたとき、Windows側から http://localhost:8000 にアクセスすると Not Found になるのはぼくだけってことなのかな？理解不能。 http://bit.ly/JMggQz

posted at 15:13:24

@knxm @nogajun なるほど「何の設定もいらない」ということですね。こちらでも NAT でかつ Port Forwarding で 127.0.0.1:8000 の設定があるのですが、やはり http://127.0.0.1:8000 は Not Found になる。

posted at 14:43:49

@knxm @nogajun VirtualBox側でSage-5.0のSettings→NetworkでAttached toをどれにしても、Windows側から http://localhost:8000 にアクセスしても Not Found になります。

posted at 14:38:32

@knxm @nogajun Windows7でVirtualBoxにSage-5.0を入れたとき(全部デフォルトの設定)、Windows側から http://localhost:8000 にアクセスしても Not Found になります。何か設定が必要なのでしょうか？

posted at 14:33:58

ぼそ。ぼくは行けるかどうかわからないのですが、「諸相」の中にパンルヴェ方程式と2次元量子共形場理論&量子群を繋げてくれる「パンルヴェ方程式の量子化」というアイデアが含まれていないのはさびしいと思った。もちろん「古典系」と「量子系」では様相がかなり違うのですが。

posted at 09:53:03

Javaプラグインが動かないと、Sageでplot3dなんかをして遊べないので困るのだ。しかしみんな一体どうしているのだろうか？VIrtualBox内のLinuxにログインして ifconfig したり、chrome://plugins をチェックしたりしているのだろうか？

posted at 09:49:26

Chromeの変種のCoolNovoをぼくは使っているのですが、Javaアップレットが動かない。chrome://plugins の詳細で ～\Safari\Plugins\npJavaPlugin.dll を無効にしたら動くようになった。Safariのプラグインがなぜ？？？

posted at 09:46:17

RT @nan_kan: 地方の学生が大都市の企業に就職するためには当然交通費と宿泊費がかかるので、そういう学生だけで見るともっと就活費用はかかるよ。

posted at 07:31:12

http://planck.exblog.jp/17948023/ 「本書のイラストは、一部専門家にトレースしていただいたものを除き、すべて私が描きました。」←！！！

posted at 01:13:13

数式処理や数値計算に使えるこういう「おもちゃ」で楽しく遊ぶためにはそれなりに数学の知識が必要。そして数学の勉強は常に大変なこと。でも遊ぶためであれば知識を増やすのも精神的に苦にならないことが多い。だから学生にこの手のおもちゃを紹介したくなる。

posted at 01:02:04

ああ、だめだ。 http://bit.ly/K8CUSo から Cluster Package demo (1).sws をダウンロードして、Sage に Upload して、Evaluate All を試してみてしまった。なんとかして寝ないと！

posted at 00:56:25

ああ、なんてことをしてしまったんだ！root でログインして su sage して sage -combinat install を実行してしまった！クラスター代数関係のライブラリも入っているらしい！ここで何も調べずに寝てしまわないと健康と仕事に響く。寝る。

posted at 00:50:18

いかんな。Sage-5.0が予想より簡単にWindows7で使えてしまったせいで興奮して眠気が飛んでしまった。数学だけじゃなくて、コンピューターがらみの作業も夜にやるのはまずいんだった。忘れていた。健康によくないので気を付けないと！

posted at 00:34:04

現在のうちの家庭内LANでは192.168.11.11:8000にアクセスすると誰でもSageを使える状態。いきなり admin のワクシートのリストが見える。でもワークシートは Test のひとつだけ。もちろんスマホからアクセスしてSageで遊ぶこともやろうと思えばできる。

posted at 23:26:21

RT @iwaokimura: . @genkuroki さんの，Microsoft WIndows上でSageを使うためのポイントの一連のつぶやきをtogetterにまとめさせて頂きました http://togetter.com/li/311980

posted at 23:22:45

@knxm 192.168.56.1:800では繋がらないので、昼はあきらめてしまいました。だからログインして ifconfig で確認することに。

posted at 23:22:29

@knxm 「VirtualBox～Networkの状態」の窓の「詳細」ボタンを押して表示されるIPアドレスは192.168.56.1で、VirtualBox内のeth0は192.168.11.11です。後者をWindowsのどこで見られるかがよくわからないのです。

posted at 23:12:24

【Sage】VirtualBox内で動いている Linux にログインせずに、eth0 の IP address が簡単にわかる方法があると、とてもありがたい。一般的な Windows ユーザーに ログインしてコマンドラインを使ってもらうのは結構苦しいかも。

posted at 22:59:43

【Sage】続き～ http://(B)で調べたIPアドレス:8000 にWindows上のブラウザからアクセスして、Sageを楽しむことができるはずです。以上、めでたし、めでたし。

posted at 22:55:07

【Sage】続き。(C)Windows7の側のネットワークと共有センター経由でVirtualBox Host-Only NetworkのプロパティでVirtualBox Bridged Networking Driverを有効にしておくこと。これだけの準備が整えば～続く

posted at 22:53:48

【Sage】続き。ポイントは三つ。(A) VirtualBoxのSageの設定でNetworkのAtached toをBridged Adapterに変えること。(B) rootでログインしてifconfigコマンドなどでeth0のinet addressを確認すること。続く

posted at 22:51:58

【Sage】続き。(13)ぼくの環境では以上の操作によってブラウザに admin のアクティブワークシートがいきなり表示されます。セキュリティー上問題があると感じる人は http://bit.ly/K8idG9 の指示に従って下さい。続く

posted at 22:49:39

【Sage】続き。そしてプロパティボタンをクリック。もしも VirtualBox Bridged Networking Driver にチェックが入ってなければチェックを入れてOKボタン。(12)再度(9)で調べたeth0のIPアドレスのポート8000にブラウザからアクセス。続く

posted at 22:47:34

【Sage】続き。(11)もしもそれでも接続できなかったら、Windows 7 のコントロールパネルなどからネットワークと共有の窓を開く。すると VirtualBox Hos-Only Network とあるのでクリック。続く

posted at 22:44:23

【Sage】続き。(9)再度rootでログインして、ifconfigコマンドで eth0 の inet address を確認(以下それは192.168.11.11と仮定)。(10)Windowsのブラウザから http://192.168.11.11:8000 にアクセス。続く

posted at 22:42:55

【Sage】続き。(8)それだとVirtualBox外からブラウザでアクセスできないので、Machine → Settings → Network で Attached to を Bridged Adapter に変更する。そして reboot コマンドでリブート。続く

posted at 22:40:20

【Sage】続き。(6) sagevm login: に root と入力し、Password： に sage と入力してログインする。(7) ifconfig コマンドで eth0 のIP addressを確認する。ぼくの環境では 10.0.2.15 になっている。続く

posted at 22:37:26

【Sage】続き。(4)するとVirtualBox内でLinuxが起動されて、しばらくするとVirtualBox内でブラウザが起動されるが、それは使わない。(5)右コントロールキーを押しながらF1キーを押すとLinuxのログインコンソール画面に切り替わる。続く

posted at 22:33:55

【Sage】続き。(3) http://bit.ly/K8eQik にしたがって sage-5.0.ova をVirtualBoxにimportしてStartする。後で設定はいじれるので極力デフォルトのまま進んだ方がはまる確率は小さくなる続く

posted at 22:31:46

【Sage】続き。(1) http://sagemath.org/ のDownloadから入って sage-5.0.ova をダウンロード。(2) VirtualBox を起動すると日本語になっているので、ファイル→環境設定→言語でEnglishを選択しておく。続く

posted at 22:28:28

【Sage】Windows 7 での Sage 5.0 の導入の仕方。(0) http://bit.ly/K8dMLq からWindows用のVirtualBoxのインストーラーをダウンロードしてインストールしておく。続く。

posted at 22:26:43

@miyake_sal さんきゅ！どんぴしゃ！まさにそれ。rootでログインしてifconfigしたら、192.168.11.11と書いてありました。

posted at 22:21:50

今晩はもう数学のお仕事は止めにして、昼に失敗して悔しかったWindows上のVirtualBox上のSageに普段使っているブラウザからアクセスすることに再挑戦。できました！簡単でした。rootでログインしてifconfigでIP addressを調べた。

posted at 22:20:03

RT @cactus_f: [BM] 人形遊び＋技術力で理系女子を育てるおもちゃ「Roominate」 - GIGAZINE: 配線できるドールハウス。おもしろいな。 http://bit.ly/LPfSOE

posted at 21:47:43

RT @hajimebs: 山形さんのクリティークに答えた中谷さんに、また山形さんのコメント。稀有な「生産的批判」を読んだ。これは報われる。　http://d.hatena.ne.jp/wlj-Friday/20120527/1338102669#c

posted at 21:39:05

逆に連続量を扱う話ではやる気を出しても、離散的な対象にはまったく直観が働かなくなると感じている学生もいるような気がする。正直、自分以外の人間が数学についてどのように考えているかはわからないことが結構多い。「まったく同じ直観を駆使している」と感じることも結構多いのですが。

posted at 21:29:18

経験上、理論的な数学的思考がものすごく苦手に見える学生であっても、雰囲気を大きく切り変えて、離散的もしくはアルゴリズム的なことをやらせると急に力を出すタイプがいるように思えます。そういう学生はコンピューターを使いながら数学を勉強すると良いのではないかと思っているのだがどうか？

posted at 21:25:46

昼のぼくのツイートを見ていたぼくをよく知っている人は「どうしてLinux版のSageを直接使わないの？Windowsより得意じゃないの？」と思ったかもしれません。でも学生に「こういう面白いおもちゃがあるよ」と言うためにはWindowsで気軽に動かせないと困るのだ。

posted at 21:21:57

Windows7. VirtualBox内でSage-5.0を起動。自動でブラウザがVirtualBox内で立ち上がる。しかしそのブラウザだけを「一旦閉じる」方法は不明。普段使っているブラウザからhttp://localhost:8000にアクセスすると Not Found

posted at 14:28:00

RT @A_175: Windowsでsageを使うときにVirtual machineを立ち上げるとブラウザが自動で立ち上がるけど, それを一旦閉じてWindows側の普段使っているブラウザを立ち上げて http://localhost:8000 にアクセスするのが日本人ユーザにとっては吉だと思う.

posted at 14:22:51

@smith796000 @myfavoritescene 「内部被爆は外部被爆とは違う！！！」と騒ぎ立てる人にろくなやつがいないというのが、ここ一年の経験則。

posted at 14:08:03

SageをWindowsユーザーに使ってもらうためには(1)インストーラーの存在と(2)普段使っている任意のブラウザからSageを使用可能という二つの条件が必須だと思った。以前どこかから拾って来たSageのWindowsインストーラーはほぼこの二つの条件を満たしていた。

posted at 13:58:59

これだと最初からLinuxをインストールして使った方が圧倒的に設定が楽で便利だと思う。(おそらくみんなそう思っているんじゃないかと思われる。)

posted at 13:49:45

普段使っているブラウザからアクセスできないようだと使う気になれないのだ。そのためにはVirtualBox内のlinuxにrootでログインして設定しなければいけないらしいが、ぼくにはできなかった。nanoで編集してrebootまではできましたが。

posted at 13:47:44

http://wiki.sagemath.org/SageAppliance#Giving_Others_Access... を試しているのだが、1～5までのようにしてreboot しても Sage will ask for some further information とならない。これも非常に困った。

posted at 13:44:55

色々試してみたところ、ぼくの環境ではプロセッサ数を2にするとVirtualBox内でSage-5.0を起動できないようだ。プロセッサ数1にしただけで無事立ち上がるようになった。

posted at 12:46:22

すべてをやり直しました。今度はVirtualBox内でSage-5.0が無事立ち上がりました！

posted at 12:40:00

そうそうVirtualBox内でのSageの起動の成功したときには別の理由ではまりました。ブラウザからアクセスできない。解決方法は http://bit.ly/KAoV50 。WindowsでSageを使うのはとても大変です。

posted at 12:36:01

VirtualBoxの出したエラーメッセージは「VT-x features locked or unavailable in MSR (VERR_VMX_MSR_LOCKED_OR_DISABLES)」

posted at 12:34:11

今度は「仮想マシン"Sage-5.0"のセッションを開けませんでした。」と言われて、VirtualBox内でSage-5.0を起動できない。あきらめよう。残念。WindowsでSageを使うのはぼくのような一般人にとってはとても難しい。

posted at 12:33:14

「仮想アプライアンス "C:\Sage\sage-5.0.ova" のインポートに失敗しました。」となる。あれれ、と思ってよく見てみると sage-5.0.ova の大きさが 984,577KB で小さい！再ダウンロードしなければ。

posted at 12:12:42

ああ、まずい。論文書きかけなのに sage 5.0 のダウンロードを始めてしまった。

posted at 11:39:47

メモ： http://www.stat.t.u-tokyo.ac.jp/~numata/html/sage/days/2012...

posted at 11:34:09

Sage Days in Japan のタグ #SDJ39 https://twitter.com/#!/search/realtime/%23SDJ39 の検索結果を Evernote にクリップしておいた。

posted at 11:26:39

RT @ysykimura: Sage 5.0では、クラスター代数のライブラリが予めcombinatに入ったので、毎回ライブラリを読み出すことなく使えるようになっている。つまり、本体をインストールして、sage -combinat install で使えるようになっている。

posted at 11:18:40

A_{n-1} の場合の量子化されたWeyl群双有理作用のLaxおよびSato-Wilson表示から、A_∞の場合出す話を書いたので休憩中。次は A^{(1)}_{n-1}でnが3以上の場合。

posted at 11:17:54

@smith796000 @myfavoritescene 「現時点ではっきりしたことを言えない程度には影響は小さい」というのは低線量被爆のことです。職を失うリスクだとか、家族がバラバラになることの悪影響だとかとしっかり比較しないとまずい程度のリスクだと思います。

posted at 11:15:39

@smith796000 @myfavoritescene 最新の研究結果とは無関係に、「現時点ではっきりしたことを言えない程度には影響は小さい」ということはわかっています。実際にどの程度の大きさであるかは数年後によりはっきりしていると思います。

posted at 11:09:33

@smith796000 @myfavoritescene こういう最新の(しかもヒトではなく、マウスに関する)アカデミックな研究結果は「今すぐそこで実施しなければいけない政策的意志決定」ではひとまず無視しておいて問題ないと思います。

posted at 11:05:46

@smith796000 @myfavoritescene ぼくはその手のネタについては片瀬久美子さんの発言とRTをよく参考にしています。たとえば「マウス」をtwilogで検索すると http://tinyurl.com/dykec4m 、5/22に関連の情報が見付かりました。

posted at 11:01:47

@tikaraninaritai もうしわけありません。ツイッターではそのような質問には答えないことにしています。答えようと思ってもすぐ答えることもできません。 奨学金を申し込んだ(もしくは申し込もうとしている)経路に向けて正式に質問した方が確実な答が得られると思います。

posted at 10:45:46