トップページ⇒linux
1001コメント279KB

【ZERO3】リザぽん化プロジェクト 002【Linux】

レス数が950を超えています。1000を超えると書き込みができなくなります。
0001login:Penguin2007/07/31(火) 15:17:45ID:YlYiDkga

W-ZERO3でLinuxを動かしたい人が集まるスレです。

Linux on W-ZERO3 (W-ZERO3 2ch情報まとめ 内)
http://w-zero3.org/?%A5%C0%A5%A6%A5%F3%A5%ED%A1%BC%A5%C9%2FLinux

前スレ
【ZERO3】リザぽん化プロジェクト【Linux】
http://pc11.2ch.net/test/read.cgi/linux/1182779775/l50

元スレ
W-ZERO3 総合98【WS003SH,004SH,007SH WILLCOM】
http://hobby9.2ch.net/test/read.cgi/keitai/1181152363/
0889login:Penguin2008/06/23(月) 07:58:11ID:boI0d6ED
Blackbox!
0890login:Penguin2008/06/23(月) 12:31:07ID:MKahU5DK
ion
0891login:Penguin2008/06/23(月) 14:54:58ID:fcgl/fh6
jwm, matchbox
0892login:Penguin2008/06/23(月) 15:45:17ID:3JyTjG8S
>>891
matchboxは重い
0893login:Penguin2008/06/23(月) 17:36:14ID:6kq7a2xr
iPhoneハジマタ＼(＾o＾)／
勝ってアプリが使えたら…
0894login:Penguin2008/06/23(月) 17:46:45ID:xkSowk7g
正直iPhoneは微妙だよ
0895login:Penguin2008/06/23(月) 18:47:34ID:6kq7a2xr
勝手だな。
俺も微妙だとは思うが、UNIXベースのOS XなだけにWM使ってるZERO-3系よりはと。
03はどうなのかなーっと。
0896login:Penguin2008/06/23(月) 19:04:56ID:NCWfXOCr
だから W-SIM の刺さる Linux Zaurus を出せよと…
0897 ◆2cQG6CZnmE 2008/06/23(月) 20:03:48ID:wM2oMf5V
>>888
？
adesで動かなかった？(･ω･)
0898login:Penguin2008/06/23(月) 20:34:14ID:6kq7a2xr
>>897
いつの時点だか忘れましたが、初期のzImageと別々になってない奴では起動ができたのだけど
LinuxLoader on WindowsMobileとzImageになってから1度試したときにちゃんとは覚えて無いけど
kernel panicか何かになって止まった記憶があります。
それ以降試してないのでわかりませんが、アドエスで動かない等の書き込みをしてもスルーされていたので
てっきり動かない物だと思ってました。

ちょっと今から試して見ます。
0899login:Penguin2008/06/24(火) 01:03:33ID:ug3nuyVw
アドエスで動作報告です。
問題無く動作確認できました。
以前は何が悪かったのだろう。

http://llwm.xii.jp/wiki/wiki.cgi?page=zImage%2D20080618+snapshot%28TEST+version%29
を参考にやったのですが、起動中に出る
modprobe: FATAL: Could not load /lib/modules/2.6.24.7/modules.dep: No such file or directory

と言うメッセージが気になります。
何か問題はありますでしょうか？
0900login:Penguin2008/06/24(火) 02:37:29ID:60p3LUAS
問題ない。
きになるならdepmodしておけばいい。
0901login:Penguin2008/06/24(火) 06:25:43ID:uskhY8UI
adesでの試験は03が来るまでは怖いな

USBホストが動いたって事はwifi動作まで
あともう少しって感じですか
0902login:Penguin2008/06/25(水) 05:54:59ID:3Cc9CjOa
アドエスでやっぱりKernel Panicで起動しなくなった…。
Kernek oanic - not syncing : Attempted to kill init!
だそうだ。

起動後は tar xvfz addfile した程度で他には触ってないのに。

話は変わってキーマップの問題って起動後にどうにかできますか？
ビルト時の問題かな？
流石に数字が入力出来ないのは結構キツかったりする。
reboot後のWMの時間ズレが数分だったり数時間だったりするのも謎です。
dateでLinux上の時間を合わせようにも数字キーが使えなく断念orz
0903login:Penguin2008/06/25(水) 08:15:36ID:IWfMljif
>>902
その前のメッセージがないと原因がわからんと思う。

0904login:Penguin2008/06/25(水) 08:23:00ID:dmskDWmH
キーマップはカーネル起動時読み込みできるんじゃない?
でもzImage修正必須っぽいな

時間のズレはりなざうの頃からの仕様。WMで発生しないのはちょっと驚き。
0905login:Penguin2008/06/25(水) 09:13:11ID:Uxd6coAz
WMで起こらないのはリブートしないからだろ。
裏ボタンリセットすればちゃんとずれる。
0906login:Penguin2008/06/25(水) 18:46:05ID:CsGw/aOq
アドエスのキー割り当てはメモリカード上にファイル用意しといてloadkmapで
読み込めば何とかなったはず
0907login:Penguin2008/06/26(木) 01:23:52ID:o5f1yFjm
>>903
レスありです。
どこから書けば良いのかわからないので以前の>>899辺りからある程度書いてみますね。

modprobe: FATAL: Could not load /lib/modules/2.6.24.7/modules.dep: No such file or directory

modprobe: FATAL: Could not load /lib/modules/2.6.24.7/modules.dep: No such file or directory

k journald starting. Commit interval 5 seconds
EXT3-fs warning: checktime reached, running e2fsck is recommended
EXT3 FS on loop0, intarnal journal
EXT3-fs: mounted filesystem with ordered data mode.
k journald starting. Commit interval 5 seconds
EXT3-fs: mounted filesystem with ordered data mode.
Kernel panic - not syncing : Attempted to kill init!

てな感じです。
k journald〜の記述とEXT3-fsの記述が二度ほどあるのでここら辺でつまっているのでしょうか？
うーん全くわかりません。

>>906
ありがたい情報ありがとうございます。
開発者様サイトに007用のキーマップがあがってたので、それでも眺めながらチャレンジしてみます。

その前に起動しないことにはorz
0908login:Penguin2008/06/28(土) 01:21:49ID:HmR7w366
どうもここんとこ騒いでるアドエス者です。
どうやら初回起動時にtar xvfz addfileをした後にrebootすると次回起動する場合もあれば、
先述のようなkernel panic、またはmodules.tgzを解凍して配置したmoduleの/lib/〜Not such a Directory
などにより初回起動後reboot3回以内に起動が出来なくなることがわかりました。

もしかするとこれはmicroSDが糞だったりするのが原因だったりするのでしょうか？
debian_arm_etch_rootfs.imgを入れ直すと復旧できますね。
buffaloのmicroSDでの現象で、Panasonic SDフォーマッタでのフォーマット後も同様な現象に悩まされてます。
東芝製のmicroSDもあるので後で試して見るつもりですが、そうで無ければアドエスの問題になるのでしょうか？
契約中のW-SIMを差してある状態で、本体ファームは2.01です。
他にアドエスでテストしている方が正常に稼働出来ているようならば、こちらの何かが悪いことになりますね。

あとキーマップに関してですが、sha_pon.kmapを参考(大半は流用ですが)に作成してみました。
addfileとして読み込み後、loadkeysで試したところ正常なキーマップとして利用することができました。
最初はせこせこ確認後書き換えをしていたのですが、showkeysと言う便利なコマンドがあるのですね。
showkeysに依るとテンキーはキーコードを発行していないようでしたが、こちらは他機種も同様なのでしょうか？
初めてキーマップを作った物でかなり適当なのですが、もし需要があるようならば上げてみようと思います。
需要ってありますかね？
0909login:Penguin2008/06/28(土) 03:30:01ID:HmR7w366
東芝SDでテストしたところ今のところ問題が起きてないのでBuffaloが糞って事で確定みたいですｗ
特に他ファイルでは問題が出ていないので、転送速度とかの問題になるのでしょうか？


ついでに>>377辺りを参考にminicomについてもちょろっとテストしてみました。
無知なために良く分からず # minicom /dev/ttyS0 として起動したところ何も入力を受け付けず死亡。
Ctrl+cも利かず強制再起動。
次に # minicomで 起動してみたところ 勝手に /dev/ttyS0を認識、先ほどは右下に出ていたofflineもonlineに変わりました。

~でメニューなんたらは良く分からなかったのですが、勝手に115200となってました。
ATを入力で〜と言う話も良く分からず(入力文字も化けて居たため)取り敢えず着信のテスト。
他携帯より電話を掛けてみたところ文字化けで何か表示がされました。

着信中？(発信側から呼び出し音は無い)に何かメッセージ、発信側でプープーと話し中の音が鳴ると
もう一度なんらかのメッセージが表示されました。
もし既出でしたらアレですが、一応報告でした。
0910login:Penguin2008/06/28(土) 08:06:47ID:LIvJyd/C
>>909
乙。microSDの寿命かもよ?
0911login:Penguin2008/06/29(日) 00:04:08ID:YCtLI3m0
この前TrancedのminiSDが寿命でオワタ
永久保証だったの忘れれて捨ててしまったorz
0912login:Penguin2008/06/29(日) 00:04:43ID:YCtLI3m0
×忘れれて
○忘れてて
0913 ◆2cQG6CZnmE 2008/06/29(日) 01:25:31ID:WHFVTdB+
USB給電周辺でGPIOの解析追加
|･ω･)っttp://llwm.xii.jp/wiki/wiki.cgi?page=Development

miniAケーブル接続して起動しないと、USB認識しなくなるのはなぜだろう(･ω･)
0914login:Penguin2008/06/29(日) 19:43:54ID:vj7WTr8t
(･ω･)乙
0915login:Penguin2008/06/29(日) 21:37:23ID:inQluMmB
D4が出たら真っ先にUbuntu MID ed.入れちゃいそうな予感ｗ
0916login:Penguin2008/06/30(月) 19:16:16ID:up0xFda9
>>910
多分違うとは思う。
東芝製は1年以上使用しててBuffaloはまだ半年位しか使ってない。
他のでも問題が出る事があったし、恐らくBuffaloのせいだと決めつけておく

そして東芝2Gをポチってみたｗ
最近本当に安いよな。
0917login:Penguin2008/07/01(火) 01:47:12ID:MPLgQB4m
03で動かしてみた勇者は居るのだろうか？
0918login:Penguin2008/07/01(火) 09:39:18ID:TXVBVGqK
おいおい・・・
0919login:Penguin2008/07/01(火) 20:57:40ID:F8QTC67N
03買った奴いるのか?ｗ
0920login:Penguin2008/07/01(火) 22:01:31ID:yJrFjkJR
03買ったぜ!
移行が済んだら[es]は実験機に…
0921login:Penguin2008/07/01(火) 23:21:03ID:F8QTC67N
03持っている奴で動かしてくれる勇者は名乗りをあげｒｙ
0922login:Penguin2008/07/02(水) 00:11:13ID:7x8FSzkV
俺バカだから買ったら即試しちゃうだろうなｗ
アドエスもそうだったしｗ

03買う予定はないのだけども…
0923login:Penguin2008/07/02(水) 08:03:01ID:Vlf2drMR
店頭実機にmicr(ry
0924login:Penguin2008/07/03(木) 19:47:20ID:B7U/iP4U
店頭実機のNANDデータをmicr(ｒｙ
0925login:Penguin2008/07/03(木) 20:11:43ID:4e57kDOh
ttp://llwm.xii.jp/wiki/wiki.cgi?page=Download
の中身をmicr(osoft)
0926login:Penguin2008/07/03(木) 23:17:37ID:/oFybeSC
いっそ03スレで誰かにやってみてくれって言った方が早そうだな。
そろそろ環境も落ち着いてきて、新しい物に手を出してみたい時期なんじゃない？
物好きさんはやってくれそうな。
0927 ◆2cQG6CZnmE 2008/07/06(日) 16:00:03ID:t/se9L74
003用USBホストケーブルの製作
|･ω･)っttp://llwm.xii.jp/wiki/wiki.cgi?page=Development

zImageはあとでｗ
0928login:Penguin2008/07/07(月) 00:00:03ID:sgIN0lKd
D4のチップセットのSCH U15WってwinとlinuxサポートしてるんだがタッチパッドドライバとディスプレイドライバがあればD4でもlinux動くかね？
0929login:Penguin2008/07/07(月) 13:45:48ID:9yE4gMcf
W-SIM使えないだろう
0930login:Penguin2008/07/07(月) 14:51:39ID:Gkz93ZM7
なんで？


音パスのこといってる？
0931login:Penguin2008/07/07(月) 15:32:32ID:HcTcRtht
単純なシリアルかどうか分からん
USBオーディオ+HIDみたいなシンプルさがあればいいけど
またシャープが暴走しかねない
0932 ◆2cQG6CZnmE 2008/07/08(火) 07:47:23ID:U8GyVlqE
zImage-20080708 snapshot(TEST version)
|･ω･)っttp://llwm.xii.jp/wiki/wiki.cgi?page=Download

ほとんど003用かな？ｗ
0933login:Penguin2008/07/08(火) 21:48:50ID:YTjpNl1g
今zaurus上でコンパイルしたpari-2.3.2を持ってきたら
完全に動いています。
gap4r4は200MB以上必要なので今のままでは動かせないのは
残念。これはキラーアプリなのですが、、、、、
それとliz008.zipでXのkeymapがあわないのですが(ws007sh
Xを使わないでコンソールでは問題ありません。)
2GBのmicroSDが1K円以下なので debian_arm_etch_rootfs.imgの空き
が100Mくらいなのを500M以上にしたいですが、どうやったら可能ですか?
ws007shは4K以下で手に入るので理工系の学生の数式処理電卓として
勧めたいですね。
0934login:Penguin2008/07/09(水) 07:39:45ID:ojYhPDeO
乙！
>>932
もしかしたらだけど0708にしたらaddfileが書き換えても認識しなくなった気がする。
初回起動で modules.tgz を指定reboot後 LinuxLoader.parm.txt を書き換えたのだけど
何故か/addfileの中身は modules.tgz のままになってるorz

アドエス者で0618から移行。
microSDが来たから新規でやり始めたのだけど上手くいかない。
LinuxLoader.parm.txtはアドエス側からも確認して間違いなく書き換わってる。
これじゃキーマップがorz
0935login:Penguin2008/07/09(水) 08:14:17ID:q+qowXma
addfileはファイル日付古いと上書きしないぞ
一度/addfile消したら？
0936login:Penguin2008/07/09(水) 13:24:08ID:OR2+SE72
内蔵無線LANかUSB LANは利用可能ですか？
0937login:Penguin2008/07/11(金) 17:06:09ID:A9+yqWH6
ｱﾄﾞｴｽ ｷｰﾏｯﾌﾟ ｸﾚｸﾚ
0938login:Penguin2008/07/11(金) 23:17:25ID:kZCDs0EG
>>935
addfile消すのではなくローカル上のファイルを一度更新したら正常に読み込めました。
ありがとうございました。

>>937
http://www1.axfc.net/uploader/He/so/118166
p:ades
txtに変換されちゃったから任意で変換して使ってね＞＜
初めて作った物だし至らないところがありまくりなので使えなかったらごめんね＞＜
0939 ◆2cQG6CZnmE 2008/07/12(土) 08:10:11ID:mFafblPh
busyboxでモジュールの自動読み込みがうまく動かない
debian_arm_etch_rootfs.imgでは動いてるから、何か違いがあるのか(･ω･)

>>938
adesで無線LAN見える？
003で試したら給電制限overのメッセージ吐くので、003だけは>>932の給電制限無しにした経緯がある(･ω･)
0940login:Penguin2008/07/12(土) 08:59:44ID:CtLxLs2S
>>939
すいません見方がわからないです。

取り敢えず003、004で無線を起動した状態で〜と言うのがあったので、
接続時にLinuxへ移行するとカーネル起動中に止まります。
ifconfig -aではsit0と言うデバイスがありますがコイツでしょうか？
0941 ◆2cQG6CZnmE 2008/07/12(土) 09:10:54ID:0szR4RUG
>>940
起動中に固まるならadesではまだ何か動かない原因があるのかー(･ω･)

003ではovercurrentのメッセージが出ていました
adesでも電気食いまくりのUSB機器を繋げば同じメッセージが出るかと思います

sit0はたぶんIPV6関係のデバイス(･ω･)
0942login:Penguin2008/07/12(土) 09:19:36ID:CtLxLs2S
>>941
そこまで多く試した訳じゃないですが、今のところ3度中3度固まってるので恐らく。
例えばですが起動に成功→認識可能だった場合にドライバはどうなるのでしょうか？
シャープ独自チップとの事ですし難しそうな問題だと思っているのですが。

残念ながらUSB機器に関しては変換端子を持っていないので試せないです。

朝からレスありがとうございました。
0943 ◆2cQG6CZnmE 2008/07/12(土) 15:51:02ID:E/6q+68s
>>942
本当に＃独自チップかどうか、まだ分かりません

003で無線LANをONにして起動すると、/sys/bus/usb/devices/1-1/に新しいデバイスが見える
汎用の無線LANチップのはずが、idVendorは0x04dd(=shrap)なのですな
＃がidVendor指定して無線LANチップを発注したんじゃない？

それじゃ011はというと
安価な汎用品があるのに、開発費回収の見込みが薄い独自チップをわざわざ設計しないだろうと俺は思う(･ω･)
09449332008/07/13(日) 12:39:04ID:pQLpEO0b
imgの拡張の件ですが knoppix上で
# dd if=/dev/zero of=plus bs=1k count=262144
# cat debian_arm_etch_rootfs.img plus > debian_arm_etch_rootfs2.img
これを持ってきて
zero3のparmを変更して立ち上げても imgの空きは増加しないのですが、
どなたか教えていただけませんか?
SDをmountできればlosetupができるかもしれないのですが
これってknoppix 上で行ってもいいのかなあ。
0945login:Penguin2008/07/13(日) 12:56:24ID:GDjPIvqU
ddで新しいイメージ建設予定地を確保してから
作ったイメージを本来のファイルシステムでフォーマット。

旧イメージと作った空っぽファイルシステムの両者を
-o loopでマウントして、
0946login:Penguin2008/07/13(日) 13:01:56ID:GDjPIvqU
中身をコピーしないと無理だよ。

■■■■■←元のイメージ
□←作ったゼロ
■■■■■□←くっつけてみた
この場合フォーマット済みは
■■■■■だけで、20GBのHDDの
15GBがフォーマット済みで
5GBが未使用みたいな感じになるだけ。

投稿ミスすまんです。
0947login:Penguin2008/07/13(日) 13:33:31ID:dfpK+YoK
ミスりすぎﾜﾛﾀ
0948 ◆2cQG6CZnmE 2008/07/13(日) 14:27:25ID:zvN/lOi7
>>944
コピー
# mount -o loop debian_arm_etch_rootfs.img /mnt
# cd /mnt
# tar cf /temp.tar .
# cd /
# umount /mnt

新しい領域確保
# dd if=/dev/zero of=new.img bs=1M count=1800
# mke2fs new.img

ペースト
# mount -o loop new.img /mnt
# cd /mnt
# tar xf /temp.tar
# cd /
# umount /mnt

後片付け
# rm /temp.tar
09499332008/07/13(日) 17:12:08ID:pQLpEO0b
>>948 945 ありがとうございました。
おかげで MAXIMAの5.11.0も動きました。
古い5.5とちがって ほとんどの新しいソフトは動きます。
何よりこのバージョンから私の書いたdifferential formの
パッケージが動く。(share/diff_formの作者は私)
なほ真のキラーアプリgap4r4は swapを作った方がよいみたい。
その他 zaurus上でコンパイルした Yap (prolog)、calc(object指向)
も動きました。pari-gpと合わせて数式処理電卓として最高級の
性能です。zaurus上でコンパイルしたときlibreadline.so.4に
リンクしていたものは/libのlibreadline.so.5にリンクをはればOK
でした。zaurusだと中古でも本体1man 8Gが0.4man電池として0.32man
zero3 本体0.35man 2GB0.1man ほとんどの場合電池は消耗していない。
こんそーる上でemacs -nw してM-x shellの上で動かしています。
今のままでも私ら数学屋には十分です。作者に感謝。
ああああっとzero3では100円ショップの虫眼鏡もいるね、
Xがもっとまともに動けばこれもいらないか?
0950 ◆2cQG6CZnmE 2008/07/13(日) 17:52:56ID:2Ttmk/8C
>>949
|･ω･)っhttp://www.amazon.co.jp/%E3%83%9F%E3%83%A4%E3%83%93%E3%83%83%E3%82%AF%E3%82%B9-RCUHTC-%E3%83%AA%E3%83%88%E3%83%A9%E3%82%AF%E3%82%BF%E3%83%96%E3%83%AB-USB%E3%83%9B%E3%82%B9%E3%83%88%E3%82%B1%E3%83%BC%E3%83%96%E3%83%AB/dp/B000L81AAU

|･ω･)っUSBマウス
09519332008/07/13(日) 18:36:41ID:pQLpEO0b
いやUSBマウスつまりUSBマスターケーブルはzaurusuのを持って
いるのでマウスはいいのですが Xでkeymapがあわないのです。
はずかしながら*も+も入れられないのです。コンソールでは
問題ありませんが。
0952933(GO MAXIMA)2008/07/14(月) 00:59:18ID:RyiiUfKQ
gap4r4ついに動作しました。64Mのswap fileを作ってswapon
することでOK. まあまあの速度で動きます。reboot後のWM5
も問題ありません。ws007shですが途中からUSBホストにkeyboard(DELL)
のを繋いで見たがlinuxでは完全には対応していないようです。
抜き差しでは 完全に接続装置名が表示されているのでこちらの
問題かもしれません。
0953login:Penguin2008/07/15(火) 18:54:37ID:9s2Qj0wN
俺は03で実行するぞ！ジョジョーーッ！！！！
0954login:Penguin2008/07/15(火) 22:23:21ID:0tnJWjqF
タッチパッドの報告よろ
0955login:Penguin2008/07/15(火) 23:41:13ID:nlAiVaJ2
タッチパッドは組み込みやめたんじゃないっけ？
あ、そっちじゃなくキーコードを発行するかってことか。
ちなみにアドエスはテンキーはキーコードの発行すらしてなかったぞ。
0956login:Penguin2008/07/16(水) 00:23:51ID:qY8omFY/
アドエスにテンキーなんて付いてないだろ。
ダイヤルキーか？
0957login:Penguin2008/07/16(水) 00:35:07ID:mCs2lTbi
ダイヤルキーのこと。
本スレでは結構テンキーって呼ばれてたからそのまま使ってたが。
0958login:Penguin2008/07/16(水) 01:07:36ID:ELoPxFb6
ダイヤルキーのキーコード発行してないのか。
JBlendはどうやって実装してるんだろうな
0959933(GO MAXIMA)2008/07/19(土) 21:33:57ID:eUUeE0a2
USBハブ1.1 を繋いでUSBkeyboardをXを使えるようになりました。
underscoreだけでなかったので
xmodmap -pke > .Xmodmap として.Xmodmapのファイルをみて
空きのkeycodeに 割り当てて xmodmap .Xmodmapで使えるように
なりました。その上 SDcardreaderをHUBにつなぐとsdaとして
認識されmount /dev/sda1 /mntとすれば簡単に使用できます。
これはもう実用品として使えるレベルではないでしょうか。
そろそろ大々的にまとめて公表することをすすめます。
(ちなみにUSBHUBは4+1ポートで300円の品です。)

0960 ◆2cQG6CZnmE 2008/07/20(日) 00:49:49ID:qTsjgl5W
日が変わってしまいましたが
zImage-20080719 snapshot(TEST version)
|･ω･)っttp://llwm.xii.jp/wiki/wiki.cgi?page=Download

.configでドライバ追加した以外は大きな変更無し

目的はZERO3でminiSDにLinux専用パーティション作成で若干高速化すること
手間はかかるけれどloopbackのもたつきが減るので、サクサク使いたい方どうぞ
0961 ◆2cQG6CZnmE 2008/07/20(日) 00:57:04ID:qTsjgl5W
>>959
お時間あればminiSDにLinuxパーティション作成して試してみてください

きっとサクサク感がｗ(･ω･)
0962login:Penguin2008/07/20(日) 11:08:24ID:rZ7MIsX/
>>959
003/004にはUSBホストがない件
ハードウェア的にはSDIOが使えるからそこからSDIO青歯アダプタ→青歯系デバイスでいけるけどlinux用のドライバがない
0963933(GO MAXIMA)2008/07/20(日) 15:37:40ID:d7LZ6THu
>>962
927の03用のUSBホストケーブルを作ってみれば?
0964login:Penguin2008/07/20(日) 16:53:13ID:TGasR24q
そんなもん作る必要があるなら実用レベルとは言わんだろ。まだ遊べるレベル
0965login:Penguin2008/07/20(日) 18:03:22ID:mtYVH1tl
誰がそんな話をしてるんだ？＜実用レベル
0966login:Penguin2008/07/20(日) 19:09:08ID:jL3BNRqz
>>963が003SHとWILLCOM 03とをごっちゃにしてるのが発端。
0967login:Penguin2008/07/20(日) 20:18:34ID:mtYVH1tl
>>966
誰がWillcom03の話をしているんだ？

>927も>962も>963も003SHの話をしているように見えるのだが？
0968login:Penguin2008/07/20(日) 22:03:13ID:zZ2i0I7e
>>965
>>959
>これはもう実用品として使えるレベルではないでしょうか。
>そろそろ大々的にまとめて公表することをすすめます。
0969login:Penguin2008/07/20(日) 22:36:56ID:xihwno4k
ぶっちゃけ、何に使うんだ？
0970login:Penguin2008/07/20(日) 22:49:17ID:DR7pr7Dz
>>969
俺は実験マシン+実用段階になったら、rep2サーバになってもらうつもり。
0971login:Penguin2008/07/20(日) 23:14:43ID:G890Ubqk
静音、省電力鯖かぁ、いいな
0972login:Penguin2008/07/20(日) 23:18:16ID:DR7pr7Dz
しかもUPSついてるんだぜ？
今もリナザウだが、あいつはそろそろ劣化してきたし、何より面白くない。
0973login:Penguin2008/07/20(日) 23:38:48ID:mtYVH1tl
>>968
これはひどい。

>>970
経験的にrep2動かすにはパワー不足。
IOP321(Xscale@600MHz+DDR 512MB)なマシンですらきつかったのに。
0974login:Penguin2008/07/20(日) 23:50:27ID:DR7pr7Dz
>>973
今の鯖はセレロン500に128MEMだけど、十分動いてくれてるよ。
確かにrep2専用だが。
0975login:Penguin2008/07/21(月) 00:29:07ID:wJ+PBaNl
rep2鯖ってそんなに重いの？
Pen3 500M+128M環境でDebian etchにApache2+php、Postfix、Samba
動かしてるけどそこまで負荷は感じないが。
0976login:Penguin2008/07/21(月) 02:43:53ID:LyGRxo7x
「ARM」はそれほどパワーないよ。って話。
普通にコンパイルするだけならPPC266の方が早い。
0977login:Penguin2008/07/21(月) 05:13:30ID:wJ+PBaNl
ARMの性能の問題だったのか。
スマンスマン。
0978933(GO MAXIMA)2008/07/21(月) 16:20:30ID:ueGHEwHg
>>969 973 976

ws007sh:~# maxima
Maxima 5.11.0 http://maxima.sourceforge.net
Using Lisp CLISP 2.38 (2006-01-24)
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
(%i1) load("linearalgebra")$
knot4,1,2,3
(%i2) a:matrix([1,1,0,-2],[-2,1,1,0],[0,-2,1,1],[1,0,-2,1])$
(%i3) nullspace(rat(a)),modulus:3;
[1,1,1,1]
(%i4) nullspace(rat(a)),modulus:5;
(%i4) nullspace(rat(a)),modulus:5;
[ 0 ] [ 1 ]
[ ] [ ]
[ 1 ] [ 0 ]
(%o4) [[ ], [ ]]
[ - 1 ] [ 2 ]
[ ] [ ]
[ - 2 ] [ - 2 ]
(%i5) b1:matrix([0,1,-1,-2],[1,0,2,-2])$
(%i6) create_list([i,j].b1,i,0,4,j,0,4)$
(%i7) rat(%o6),modulus:5$5
(%i8) length(%);
(%o8) 25
0979933(GO MAXIMA)2008/07/21(月) 16:25:25ID:ueGHEwHg
(%i9) maplist(lambda([x],a.x),%o7)$
(%i10) rat(%),modulus:5;
2540
[7,8,1,2,3,4,5,6]
(%i11) showtime:true;
(%i12) a1:matrix([1,1,0,0,0,0,-2,0],[0,1,1,0,0,0,0,-2],[-2,0,1,1,0,0,0,0],[0,-2,0,1,1,0,0,0],[0,0,-\
\
2,0,1,1,0,0],[0,0,0,-2,0,1,1,0],[0,0,0,0,-2,0,1,1],[1,0,0,0,0,-2,0,1])$
Evaluation took 0.01 seconds (0.01 elapsed) using 2.367 KB.
(%i13) nullspace(rat(a1)),modulus:3;
Evaluation took 3.17 seconds (3.18 elapsed) using 1.380 MB.38
(%i14) nullspace(rat(a1)),modulus:5;
Evaluation took 3.98 seconds (4.06 elapsed) using 1.550 MB.28
Bartonのnullspace関数がとろいだけです。
0980933(GO MAXIMA)2008/07/21(月) 16:28:03ID:ueGHEwHg
(%i17) echelon(rat(a1)),modulus:3;
Evaluation took 0.05 seconds (0.06 elapsed) using 12.523 KB.
[ 1 1 0 0 0 0 1 0 ]
[ ]
[ 0 1 1 0 0 0 0 1 ]
以下略
[ 0 0 0 0 0 0 0 0 ]
[ ]
[ 0 0 0 0 0 0 0 0 ]
[ ]
[ 0 0 0 0 0 0 0 0 ]
とこれくらいでできるはずの問題です。
%i18) system("free");
total used free shared buffers cached
Mem: 62020 59364 2656 0 592 25800
-/+ buffers/cache: 32972 29048
Swap: 65628 44 65584
Evaluation took 0.00 seconds (0.10 elapsed) using 1.395 KB
0981933(GO MAXIMA)2008/07/21(月) 16:32:44ID:ueGHEwHg
以上のように数式処理の電卓として最高の性能です。これなら
実用でしょう。
knotの彩色問題を解いたものです。

0982933(GO MAXIMA)2008/07/21(月) 16:47:43ID:ueGHEwHg
説明の日本語がフィルタリングされてるな。
knot[4,1,2,3]の彩色問題を解かせます。
(%i7) rat(%o6),modulus:5$これが5色の解です。
(%i10) rat(%),modulus:5;
これが解の証明で25個の4次元0ベクトルが帰ってきます。
もう少し大きいものでも平気です。卍結ぶ目[7,8,1,2,3,4,5,6]について
(%i11) showtime:true;
%i13のところも、3個の8次元ベクトルがかえります。
%i14のところも、2個の8次元ベクトルがかえります。
0983933(GO MAXIMA)2008/07/21(月) 16:56:32ID:ueGHEwHg
次のような計算もできる。
(%i19) sum((-1)^k*2^(-v-2*k)*z^(v+2*k)/(k!*gamma(v+k+1)),k,0,50)$
Evaluation took 0.96 seconds (0.95 elapsed) using 196.707 KB.
(%i20) mybessel(v,z):=''%$
Evaluation took 0.00 seconds (0.00 elapsed) using 256 bytes.
(%i21) mybessel(1/6,-2);
Evaluation took 1.38 seconds (1.39 elapsed) using 1.178 MB.
(%o21) 51998167000936558480948431783888172302359649283820049268894856602065781\
459263974770749160632873601033964326758943677053030713079512435357822806
(- 1)^(1/6) /(2699462452500566158634678967197513293959049109427583537019513718023\
6127884511255098970141667809425127222091577209017050721600592136383056640625
gamma(1/6))
これを100桁くらいの実数(虚数ですが)にしたいところだけどMAXIMAはgamma(1/6)を
floatでしか計算できない。そこで
ws007sh:~# gp-dyn
GP/PARI CALCULATOR Version 2.3.2 (released)
armv5tel running linux (portable C kernel) 32-bit version
? \p 100
realprecision = 105 significant digits (100 digits displayed)
? gamma(1/6)
%1 = 5.566316001780235204250096895207726111398799114872853461616744626322907502817802305503389653621
021755
とPARIに助けてもらうこともできる。
0984login:Penguin2008/07/21(月) 22:45:52ID:9qv2Ws8/
w-zero3にわざわざlinux入れて関数電卓にする奴がどこにいるんだ？
0985933(GO MAXIMA)2008/07/21(月) 23:03:32ID:ueGHEwHg
数式処理が解かり難いのであればMATHEMATICAと同意
と考えてください。電卓は謙遜、
関数電卓はではない。頭ついてる?>>984
0986login:Penguin2008/07/21(月) 23:09:17ID:aHmD3maK
別にどうでもいいから、そろそろ自重してください。
0987login:Penguin2008/07/21(月) 23:14:03ID:PkydzJWi
要するに[es]へのLinuxのインストール方法をまとめてくれ
0988login:Penguin2008/07/21(月) 23:14:40ID:AuT+v+Dy
atwikiにでもアカウントとって
「りざぽん化[es]とmaximaとではじめるモバイル数式処理」
なんてサイトでも始めて、そこで利用シーン、
ベンチマーク結果などを書くがよろし
レス数が950を超えています。1000を超えると書き込みができなくなります。