Sage on Windows by genkuroki

黒木玄 Gen Kuroki @genkuroki

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

黒木玄 Gen Kuroki @genkuroki

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

knxm @knxm

@genkuroki @nogajun VBox 再起動してみたら，つながるようになりました．なぜ？ブラックアウト画面が長すぎて，ちょっと学生さんにお勧めするのは憚れるなぁ．

黒木玄 Gen Kuroki @genkuroki

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

黒木玄 Gen Kuroki @genkuroki

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

黒木玄 Gen Kuroki @genkuroki

【Sage】メモ：(1)Sage and cluster algebra workshop http://t.co/Y99FmdAq (2)Sage-Combinat http://t.co/sB4RlSeq (3)ML http://t.co/3S7pCSEe

黒木玄 Gen Kuroki @genkuroki

【Sage】メモ：(4) A compendium on the cluster algebra and quiver package in sage http://t.co/Xpy0nsK5

黒木玄 Gen Kuroki @genkuroki

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

黒木玄 Gen Kuroki @genkuroki

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

黒木玄 Gen Kuroki @genkuroki

【Sage】Windows7でのVirtualBox内のSage-5.0にWindows側からhttp://localhost:8000で繋がらない原因がわかりました。Windowsの側でポート8000を使っていた。FAQだった。orz

黒木玄 Gen Kuroki @genkuroki

【Sage】現時点での結論。Windows7でVirtualBoxでSage-5.0をデフォルトの設定のまま起動している状態でWindows側からhttp://localhost:8000にアクセスしても繋がらない場合には8000を8001などに変えると良い。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。変え方。VirtualBoxのSageの側でSettings(設定)→Network(ネットワーク)でAttached to(割り当て)がNATであることを確認して、Advanced(高度)をクリックして、ポートフォワーディングの設定を変える。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。ポートフォワーディングのボタンを押すと、ホストIP127.0.0.1ホストポート8000の設定が見える。ホストポート8000の数字を8001などに変える。Sage-5.0を再起動。Windows側からhttp://localhost:8000にアクセス。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。Windows側でのポートの使用の様子はコマンドプロンプロなどから netstat -oan などを実行するとわかります。netstat の使い方は検索すればわかる。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。久々にこの手のネタではまった。ポイントは「http://localhost:8000で繋がらないなら、VirtualBoxのSage側でネットワーク→高度→ポートフォワーディングでホストポートの番号を変えて試してみる」ということかな。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。Windowsのことはほぼ何もわかっていないので、何がポート8000を使っているかはまだよくわからない。

黒木玄 Gen Kuroki @genkuroki

【Sage】Windows7でVirtualBox内のSage-5.0にhttp://localhost:8000でアクセスできない件続き。netstat -oan の表示に8000を含む行が2つ。0.0.0.0:8000 と [::]:8000 でPIDは4でした。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。そこでタスクマネージャーで表示→列の選択でPIDも表示させてみると、4番は System =「NT Kernel & System」でした。こいつがポート8000を使っていたせいで、ぼくはたくさんの時間を無駄にしてしまっったわけです。

黒木玄 Gen Kuroki @genkuroki

【Sage】問題は PID 4 System という情報しかタスクマネージャーでは得られないのですが、実際にポート8000をどのプロセスが使っているのか？これはまだ不明のまま。Windowsだとどうやって調べればいいんだろうか？もはやSageの話じゃなくなったな。

chika2yan @chika2yan

@genkuroki NT Kernel & System！　Win7のブランチキャッシュサービスですね　切るならココです→http://t.co/qxn9H5Ds

黒木玄 Gen Kuroki @genkuroki

@chika2yan さっそく試してみました。netstat -ano で表示されるリストからポート8000が消え、VirtaulBoxのlocalhost:8000へのポートフォワーディングも正常に動くようになりました。どうもありがとうございます。

黒木玄 Gen Kuroki @genkuroki

【Sage】Windows7でVirtualBoxにSage-5.0を入れたときに、Windows側からhttp://localhost:8000にアクセスしてもSageを使えない理由は http://t.co/NYo1r5YY と同じようです。続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き。解決方法は複数。(1)おそらく一番楽で安全なのは今朝ツイートしたようにポートフォワーディングの設定をいじってホストポートを8000から8001のような使われてなさそうな数字に変えて試してみること。(2) http://t.co/NYo1r5YY のように～続く

黒木玄 Gen Kuroki @genkuroki

【Sage】続き～レジストリをいじってブランチキャッシュサービスを止める。(3)一昨日の晩にツイートした方法→ http://t.co/YgTrTLOa この方法ならLAN内の別の端末からもアクセスできるようになる。

黒木玄 Gen Kuroki @genkuroki

RT @nogajun: @knxm @genkuroki よかったです。コレを使うと仮想マシンのウィンドウも出さなくて済むと思います/窓の杜 - 【REVIEW】「VirtualBox」の仮想PCをタスクトレイから直接起動「VBoxHeadlessTray」: http://t.co/EbzEAKpo