Entries from 2011-01-01 to 1 year
beamer でスライド作っているときに,oodraw で作った図をエクスポートするのがめんどくさいなーと思ったのでスクリプト書いたら,いろいろとよくわからなくてそれはそれですごくめんどくさかったです。でもこのへん参考にしたり真似したりしつついじってた…
こんな問題見かけました。 2≦m≦n なる自然数(m,n)に対し,Aはm*nの値のみを知っている,Bはm+nの値のみを知っている.A「m+nの値は分からない」B「君がそう言うことは分かっていた」A「まだm+nの値は分からない」B「m+nは14未満だ」A「mとnが分かった」B「私…
MLG meeting に参加していたので,感想みたいなもの。前から思っていたことではあるけど,もっといろんな本や論文を読んで,論理のいろんな見え方を知りたい。多値論理と直観主義論理とか,僕が知らないだけで,もっと密接に関係しているんじゃないか,とか…
参加しました。夕方までバイトしてたので空き時間に問題だけ見て,終わってからコード書きました。A は,カットの回数が少ないのでシミュレーションでできるんだろうと思ったらできました。けどちょっとめんどくさかったです。こういう手続きを書くのは苦手…
skk の補完機能,補完候補一覧が出てほしいなと思っていて,探したけどみつからなかったのでなんとなくそれっぽく書いてみた。 (defun mylib-ac-source-skk-comp-candidates () (when skk-henkan-mode (skk-comp-get-all-candidates (buffer-substring-no-pr…
という現象が起きていたので直し方を探しました。/etc/pm/sleep.d/99mousecursorworkaround (ファイル名は先頭の 99 以外は適当) に #!/bin/sh case "${1}" in hibernate) #nothing ;; resume|thaw) chvt 1 chvt 7 ;; esac みたいなのを置いて chmod +x して…
http://d.hatena.ne.jp/lkozima/20110212/1297478453 に書いたやり方だと /usr/bin/stumpwm を書き換えてたんだけど,そんなことしなくてもよかったのでしない版。/usr/share/xsessions/stumpwm.desktop を [Desktop Entry] Name=StumpWM Comment=This sessi…
新しい PC に Ubuntu インストールしてからとりあえず使えるようになるまでに入れたものメモ。 lv: なんか常用してるけど入ってなかったので。 stumpwm: ウィンドウマネージャ。clisp と sbcl が黙ってても一緒にインストールされました。 emacs23: これがな…
上限を適当に決めて,サイズがそれ以下の lambda term の個数はいくつになるか計算してみました。本当に項の個数を数えると変数の名前を変えるだけでいくらでもできるので,自由変数として使える変数の個数を制限します。この条件は都合のいいように設定した…
今年も参加してます。1B がさっぱりだったので,年々レベル上がってるし今年は無理かなと思いましたが,どうにか通りました。ちなみに submit して通ったコードは http://www.go-hero.net/jam/11/name/k.kojima から落とせます。 経過 開始直後,なぜか問題…
たまたま図書館で見かけて,タイトルに引かれて借りてみた本。抽象への憧れ−位相空間:20世紀数学のパラダイム (大人のための数学 5)作者: 志賀浩二出版社/メーカー: 紀伊國屋書店発売日: 2008/08/27メディア: 単行本(ソフトカバー)購入: 1人 クリック: 18…
5/7 8:00 から 24 時間,Google Code Jam の qualification round がありました。記録.用事があったので問題見るだけ見て出かける。見た瞬間の印象としては「A, B は書いてある通りにやればできる。C, D はよくわからんけど,C は DP かなあ」という感じ。外…
標記の題目で,祝日の午後を潰しました。一般になにかの価値を評価するには,それがなんであるかがはっきりしていなければならないでしょう。ということで,まず論理的であるとはどういうことかを考えてみました。どうやってそういう結論に至ったかは(覚えて…
ちょうどいいのが見つからないなー,と思うことがよくあるので調べて並べてみました。 おおいに: 数値化できないものについていう かなり: 普通ではないの意,他の語よりは弱い きわめて: これ以上ない程度のときにいう。硬い感じ ごく: 量などが少ないとき…
ちょっと前に作ったのを gist に置いてみました。 beamer です make pdf とかでコンパイルします documentclass 宣言が適当に生成されるので,面倒な書き分けが不要です make handout で 6up になります でも psnup の使い方が怪しいので,そのうち直します
自宅 PC のバックアップをとってないことに気付いたので何とかしようと思いました。 とりあえずバックアップ対象は ~/ 以下だけでいいことにする ~/ 以下が実は 200MB ぐらいしかないので USB メモリに入る ということで以下,今日やったことをだらだらと書…
stumpWM を使い始めたのだけど,なんだかえらくはまったのでまとめてみた。きっとよく分かっている人には何でもないことなのだろうし,標準的でないことをしているかもしれないけど。参考: http://blog.nguyenvq.com/2010/11/10/stumpwm/ stumpwm をインスト…
最近,auto-save-buffers を使うようになりました。存在だけはずっと前から知っていたんですが,なんとなく導入しても特に便利になりそうにないからまあいいか,と思ってました。何をするものかというと,僕がここで詳しく書かなくても検索すれば出てくるの…