こんにちは お久しぶりの更新になってしまいました。harukamです。前記事、コメントや引用をして下さった方が多くいらっしゃって飛び上がるほど嬉しかったです。前回よりも前の記事にコメントくださった方もいらっしゃり、これも大変嬉しかったです。 近況 …

0. ミソフォニアの本 今読んでいる本 最近以下の洋書を読み進めている。 電車で特に何もすることがないときに、ちまちま読んでいる。今６割。 Understanding and Overcoming Misophonia Amazonへのリンク Misophonia Institute もともとこの本を知ったのは、…

前回書いたエントリーのつづきではないが、病院に通い始めて一ヶ月経つ。 ミソフォニア。薬を処方され毎日服用するのはいいが、この十年の間に「ある音が気になる私」がなんだか染み付いてしまって、完治はしないだろうなぁと半ば諦めの気持ちがある。もちろ…

昨日ミソフォニアという病名を知った。 ミソフォニア - Wikipedia 特定の音に強い不快感を感じ、強い怒りや逃避欲求に駆られ、正常心がかき乱されたりする障害らしい。 wikipediaのエントリーを何度も何度も読んで、私はこれだこれなんだと思って、わずかに…

うぉー 眠い 眠い、されど課題をやる。 ふと、ブログを書いてみたくなったので、課題を中断。 だったら仮眠とるのが一番理にかなっているだろうけど。。 ネムー dq11を土曜日（４日目）の夕方から始めた。 嬉しい。。3dsでね。ようやく、ひと段落ついたので…

プログラム書いてると、目視すれば明らかにあっているのに、予想したような答えにならない！てなことはよくある。 だいたい、自分の不注意。 しかし極たまにその「だいたい」に例外的に当てはまらないときがあって、 一例として日本語文字列操作のとき。 今…

トライ木の話になった。 トライ木って、人工知能の辞書とかの恐ろしく大きいデータのためのデータ構造だと思っていたのだが。 私はほぼ毎日と言っていい程、このトライ木にお世話になっていたらしい。 以下はMakefileの一例。 all : foo.exe foo.exe : foo.o…

すごく好きな作品の作者との会話を思い出した。 私「なんでこんなの作れたんですか？」 A「毎日朝から夜まで作業する。周囲の馬鹿にする声は気にせず、悩んだら寝て起きたらまた始める。」 私「なぜ自分はこんなことをしてるか意味は考えたりしない？」 A「…

すごかった。 イソターソ先の社員さんにこの大会の動画を見せてもらった8月。 当時は、その動画を見てゲラゲラ笑っていただけだった。 どう実装されているのか、とか仕組みを特に考えず、 ただ、いくつも並ぶ駐車場(トラップの行き止まり)に丁寧に一個ずつ入…

最近、神宮で起きた某火災事故で非常にやるせない気持ちになった。 （相模原の夏の事件でも同じような気持ちになった。年に２、３度ある。） 父親の悲痛に助けを求める声や、困惑しながらもオブジェを懸命に動かそうとする背中や、 更には遺体まで写っている…

まろくって。。 文字列(というかchar*)は、'\0'を末尾につけることにより、値の終わりを示せるわけだが、 まろく(mmap/sbrk/brk)はそのへんどうなっているの。。 よくよく調べてみれば不思議なこと(現状理解していないところ)が多い。 mallocによる確保外の…

1) ブルームフィルタのお話。サーバsに問い合わせたいファイル名のリストxがある。このリストxに含まれる任意のファイル名のファイルfが、サーバsに全てあるわけではないらしい。全てのfを実際に一気にリクエストすると通信負荷が大きいので、「実体がsにあ…

よんだはしかたないやつだ！(それは「やんだ」である。。)(よつばとネタ) callccによる排中律の証明 - sumiiの日記 これ面白かったw寸劇の話はcallccというワードがヒントになって、わかったw おもしろい。 callccがカリーハワード同型で二重否定に当たる、…

構成的という言葉の意味がわからなくなって調べてた。調べたら、「数学的構成主義」「構成的数学」という言葉がちらちら出現。それも追っかけてたら「数学的直観主義」などなども出現。 直感主義論理は授業でやったので覚えていた。 他もろもろ。 数学的直観…

なんとなく、人に公開するようのブログを作ってみた。 何を書くかは何も決めていないけど、自分用のメモがきっと多いかと。 じゃ