PC
ポルトガルに出張に来たので（まだいる）VodafoneのSIMを買った。 もともとの予定ではMifiか何かを借りる予定だったのだけど、うっかりしていて予約を忘れていた。 この引きこもりでさえ買えるのだから、まあありがたい限りだ。 空港なら英語が結構通用する…
ダウンロードしてインストールするだけ。 しかし、これをやるとpre-compiledなAgdaをインストールできない（特にWindows。pre-compiled AgdaがHaskell Platformを入れるから。）。 まあ、しかしHaskell Platform入れてればcabalで簡単にインストールできるか…
以前使ってみようとしたときにlibgmpがないことがわかっていたので、先にmingw32-libgmpを入れてみた。 だが、思わぬところ（configure）で時間かかってしまった。 bash上で./configureをすると、-lgmpがどうのこうのといってくる。 またお前か！ で、いろい…
いや、楽しいばかりじゃなくて面倒なことも多いけど。 Lavie Zを買った。 軽いなあ。 しかし、やはり今までのPCではいろいろ設定していたから何から始めていいのかわからないというのがある。 ログオン画面でユーザー選択を自動化したいとか。 ただし、パス…
ツイッターで、こんなツイートが流れてきた。 こんなの。 もちろん実体はWikipediaとか外部の情報へのリンク貼ってるだけ。 やれやれ。 が、気付いたらもう25を超えてしまった私は、少し考えて、「書いてみるか・・・？」などと思ってしまった。 これが俗に…
実は自分のデスクトップでは比較的容易にF-12Cを認識したが、ノートでは全然認識しなかった。 原因不明、意味不明だったのだが、今日ふと検索したところすばらしい記事が出て来た。 それがこれ。 本来なら、USBを刺したらFujitsu HSUSB Deviceが検出されるは…
なんだ、F-12CはUSBテザリングは無効化されてなかったのか。*1 というわけで、「PCに刺したままならテザリング可能」ということが今日わかった。 今の回線がまさにそれ。 まだ有効化の完全な内容にはなっていないけれど、とりあえずrootなしでもAuto USB Tet…
Round 1Aについて。 今度はA,B,Cの三問。 前回と同じく、最後だけ解けなかった。 解けた問題だけとりあえず解説。 A パスワード入力画面で、すでに何文字か打ったが、ある時点で間違ってしまったかもしれない。 これから何文字か削除して再開するか、それと…
GCJ = Google Code Jam。Googleがやってるプログラミングコンテスト。 アカウントはちょこちょこいろんなプログラミングコンテストに登録しているのだが、まともにやったのは今回が始めて。 Qualification roundとRound 1aが終わって、とりあえずRound 2には…
LinuxやMacを使っている人は、C言語のプログラムを書くとき、時々manで関数の内容を調べたりするだろう（引数の順序とか細かい仕様とか）。 私はWindowsユーザーだが、これはほしい。 Cygwinなら入るけどそもそも極力Cygwin入れたくない。 というわけで調べ…
いや、最終的にはつかえたけれども。 つい先日1.0が出たSML#なるものを私も使ってみようと思ったわけである。 なんとご丁寧なことに、Windows用にはMinGWを使った実装がバイナリで公開されている。 いやはやありがたいことですよ。 で、動かしてみたら・・・…
今b-mobileのSIMで使っていて、パケットを使いたくなかったのでDoCoMoショップに行ってみた。 聞いてみたところ、アップデートさせてくれるということで、SIMを持ってきてくれて、相手の目の前でアップデート。 無事できた。よかった。 と思ってたよ今日まで…
面倒な話である。 ソフト名はメモとるの忘れたため、詳細が全然わからない。 わかっている範囲： ans.exe*1という実行ファイルで、ユーザーのホーム\AppData\Localに実行ファイルを置いた。 32bitアプリケーションだった。 ブラウザが落とされた（侵入経路は…
Androidアプリの開発をしたくなったり、ちょっと変なことをしたくなると、ひとまず手元のPCにつなぐ必要が出る。 が、F-12Cの接続は面倒な面倒な・・・ そんな道のりがまっている。 手順は大体こんなところ。 android-SDKをインストールする。 F-12Cのドライ…
なんか今朝アクセスポイントの設定がおかしくなっていた。 テザリングをした影響か？ ちなみに普通にアクセスポイントの設定を直したら直った。
b-mobileでのテザリングができないという話を聞いたのだが、今日試したところできた。 ちなみにSIMロック解除済み。それが影響しているかは不明。 今これを書くために使っている回線がテザリング。
Coqのソースコードをocamldebugで追えるようにして早何日か。 結局ocamldebugを使うのは（少なくとも現時点では）諦めることにした。 理由は次の通り。 Coqが使っている構文解析器がそもそもocamlcでコンパイルするものじゃなかった*1。 多相がものすごく邪…
研究の関係上、とあるOCamlのプロジェクト――いえ、まあ、とあるもなにも、Coqだが――をいじる必要が出た。 そんなにプログラミング・・・というかプロジェクトの読み解きなどをやったことがない私は、途方にくれ・・・まではしなかった。 運がいいことに、先…
ちょっと思い立って（衝動的に）、b-mobile wifiを買ってしまった。 二週間くらい前の話。 とりあえず、なんかお得なセットがまた出ててすごくイラッとするが、そこはあきらめよう。 運がなかったのだ。 さて、せめて使った感想くらいはフィードバックしてお…
BIOSのアップデートが、今までできないと思っていたのだが、別の（同じメーカーが配っている）プログラムを使ったらできた。 割とあっさり。 そして、今まで落ちまくっていたビデオカードが安定している。 ・・・あー、まあ、こんなもんか。 まあ、またいつ…
まあ、だいぶ前の話なのだが。 題の通り、テキストを新規作成できなくなった。（もちろんプログラムからはできる） 一体何でだー！？と調べてみても、多くは次の内容だけ。 レジストリの.txtの項目を調べる（HKEY_CLASSES_ROOTの直下）。 .txtの項目にキーと…
グラフィックボードがなんだかひたすらに不安定だった。 ドライバを最新にしても不安定だった。 ・・・昨日ふと思い立ってCPUのHTをオフにしてみた。 こころなしか安定した気がする。 これが原因だったのだろうか・・・？ 答えはしばらくしないと出ないが、…
ということで、新しいパソコンを買った。 どういうこと？といわれても困るが、ともかく買ったのである。 ちなみに以前使っていたものは絶賛？不具合中。 でもまだ動くのが困りもの。グラフィックだと思うんだけどなあ・・・ 新しいマシンの構成： CPU Intel …
試行錯誤。 とりあえず今日もKernel panicを十分すぎるほど見たので、とりあえず別の方針。 Vine4.2をインストールし、そこからアップグレードをはかる、というものだ。 結果を言うと、見事にだめだった。 Vine4.2をインストールし、更新し、再起動し・・・ …
題の内容を試してみた。 VMware Playerは仮想ハードディスクを別途作らないといけないので、今回は試さないことに。 VirtualBoxとVirtualPCを試してみることに。 高頻度でインストール時にカーネルパニックを起こしてくれる。 VirtualBoxは数回起動してみた…
Firefoxのそう言う名前のアドオンを入れていた。 アドオン？まあ追加機能用のプログラムだと思ってほしい。 ちなみに、このアドオンは「Gmailにメールが来たかをチェックするアドオン（複数アカウント対応版）」である。 最近見ていなかったら、突然こいつで…
PCI*1のビデオカードを買った。ちなみにこれ。 というのも、パソコンの具合が悪くなったためである。 なぜか今は調子がよいので、必死になって交換する必要もなく、「何のために買ったんだっけ？」という意識が残っている。 さて、PCIのあるPCは多いが、逆に…
FirefoxのCookieが保存されなかった件。 調べてみたら、FirefoxのCookieを保存しているファイル（SQLiteで管理しているらしく、1fileになっている）が壊れているとそういう症状が起こるらしい。（ソース、この人も別の人のを参照しているが） 壊れてるなら消…
昨日から、PCの調子がかなり悪い。 どちらかといえば、不調なのはハードであってソフトではなさそう。 画面・・・じゃなくてビデオカードのように感じるが・・・ まあ、六年間使いっぱなしのパソコンだから、いつ壊れてもおかしくないとは思っていたが・・・
FirefoxがCookieを保存してくれない・・・ 再起動するとなぜかCookieを消す。 ・・・保存できなくなったのか、それとも消してしまうのかがよくわからない。
