portsdb portsupgrade

Windows だけじゃなくて一応 FreeBSD のマシンもいる
けど Desktop machine としてちゃんと用意していなかったりして
X11 が立って ratpoison で mlterm で firefox とかはできるんだけど
firefox は 2 だったりして

何で Linux じゃないかっていうと
IBM のスリムなデスクトップなんだけど Linux だと止まっちゃうの
何でだろう、って調べようと思ったんだけどスキル無く撤退
FreeBSD なら問題無かったので FreeBSD で

放置してた気がするから update とかした方がいいのかと思い
色々検索して色々と方法を思い出、してくれる Google にお願いする

portsdb -Uu とか portsupgrade -a とか make world とかしてみました
速いマシン欲しいね
ports 使うなって話か

putty teraterm

久しぶりに Windows を使っているんですが
暫く使ってなかったので windows update やら adobe の update やら色々
で、winscp も上げたんですが、putty も何とかしようと思って
だって terminal emulator 好きじゃない

でも、何かぱっとした感じにはなりませんでした
結局 Wikipedia を見て PuTTY ごった煮版に
まぁどうせ login して vi 使うくらいなんだけど

tsv openoffice

OpenOffice で tsv ファイル開こうとしたら writer が開いた
ひどい
と思って検索したら
calc を開いてファイルを開くときに種類として CSV を選べと

なんで選択して開いたらフォーマットに関して質問されました
文字コード・区切り文字・囲み文字、を指定できました
やったね!

ちなみに tabであることは自動で認識してくれたけど
UTF-8 のことを Code Page 932 と認識して化けてました
そっかー、そこは分からなかったかー

選択公理 数列

選択公理ってのは
「空でない集合が無限個あるとして、その直積取ったら空じゃない」
っていう命題? って言っていいのかな
「無限回の操作をするなんて、安直に認めていいの?」っていう疑問から
これが正しいとか正しくないとか色々議論があったみたいなんですが
今では「認めたい人は認めればいいし認めたくない人は認めなければいい」ことになってます
他の良く用いられる数学の公理とかそのセットなんかと独立らしいです、らしい、良く知らない

で、っていうか、選択公理自体が、そんなことに疑問を持ったことが無い人には自明で、
いきなりそんなこと言われちゃうと
「え? 無限個の直積考えちゃダメなの? 数列とかもダメ?」
って思っちゃうけどそうではなくて
何がダメかっていうと具体的に集合からの選択方法が指定できなくて
空じゃないから何か取れる、空じゃないから何か取れる、を繰り返すと
それが無限回って終わらないんじゃね? っていうのが論点らしくって
例えば有理数の数列って集合が空かどうかっていうと
0,0,0,0,0,0,0,0,... って 0 が続くような数列は取り方具体的に指定できるから
確かに数列として存在してるんで空じゃないって選択公理使わずに言えるって

っていうような話を以前聞いたことがあった気がするんで
Wikipedia 見ても良く分からなかったから選択公理の言わんとするところを
正しく理解しようと検索してみたんですが徒労に終わりまし
英語を避けたからかなぁ、英語かぁ、怖いなぁ

django forms password

とっても少しずつ Django の Documents を読んでいて
form のところを眺めていたんだけど中々頭に入らず
model と view の中間に居る人な気がするので混乱してるんだろうな
Rails だと完全に model の中に入ってるんかしらこれは

で、password とかどうするのよ? って思ったので検索すると
同じような悩みを抱えて検索してる人のページとか見付けたりして
Djangoでformを使ってパスワードフィールド... - OSS EXPO
完全に孫引き状態でそれもどうなのよって気がしてみたり
リンク先も見ずにコードコピーして動いたんで満足して終わらせてしまいました
ごめんなさい

あ、ちなみにどうするかというと

widget=forms.PasswordInput

ってのを
CharField を作るときに option として渡してあげると入力が●●●●●●●●ってなります

windows-server-2003 パスワード 変更

Windows のこともぉ本当に何も良く分かっていないので
ユーザーレベルでパスワードを変更する方法も分からなくって
XP とかならコンパネの何かからいくんでしたっけ?
2003 でコンピュータの管理とかまで行くのはスマートでないなぁと思い
ググってみたら出てきました、色々

＠IT：Windows TIPS -- Hint：ドメインのユーザー・パスワードを変更する
まじでか! Ctrl+Alt+Del か!!
散々押してるはずなのに全く認識していませんでした
ごめんなさい、Windows が悪いんじゃないんです、悪いのは．．．

latex math symbol filetype:pdf

べき級数環を表す記号の出し方を忘れてしまいました
C[[x]] の [[ と ]] が、ちょっとかっこいい感じであったはずなんだけど
確か数式の記号に関して比較・まとめしてくれてる PDF があったはず
と思って検索しました

CTAN: directory: /tex-archive/info/symbols/comprehensive
そうそう、これこれ
括弧関係は delimiter って言うはずなので調べてみると
stmaryrd って package の \llbracket を依然使った気がしてきました
またこれかな