@eval_of c *x="main=putStr%c*x=%c%c%s%c%c;main(){printf(x,34,92,34,x,92,34,34);}%c";main(){ printf(x,34,92,34,x,92,34,34);}— 岡本暁広〄へんくまモン (@henkma) 2013, 6月 14 @eval_of hs main=putStr"*x=\"main=putStr%c*x=%c%c%s%c%c;main(){print…

さとのや行ってソ連やって情熱ホルモン行った週末だった。 ビールいっぱい飲んだ。ソ連。なかなか楽しかった。部室暑い。イカ演算子（>=>）の圏論的な意味について聞かれたんだけどわからなかった。だれか詳しい人教えて。

KMCの新歓コンパに行ったり別邸の棚卸したりした。ボードゲーム数えあげたら 189個（しかもリストに入れそこなっているやつがでてきたりしたのでもうちょっとある）もあった。 拡張とかを別々に数えたら200個いきそうだった。

背理法、P を前提にして矛盾を導いて ¬P を言うっていう理解が多すぎると思うんだけど、 こんなもんまで問題にするのはそれこそ問題であって、これは否定の導入だとか含意の導入だとか言えばいい。ここらへんまで認めないのは直観主義よりもさらにアレなので…

GWいろいろ忙しかった話くらい書こうかなと思ったけどなんとなく気がむかないので放置してた。タイトルは Boy's Surface からの引用。アルフレッド・レフラーの言葉。なかなか味があるので使わせていただいた。で、今回は Boy's Surface について感想とかい…

4/27 と 4/29 の二日にわけてやった。本当は前の週もやるつもりだったんだけどあまりのちらかりっぷりに一旦萎えた。 3連休あれば気合の入れようもあるというもの。4/29 はひでやんが手伝いにきてくれて大変たすかった。ありがとうありがとう。いろいろやっ…

あまのじゃく塩分多め味濃いめだったけど超うまかった。京田辺。店主に聞いたら、京都にはあそこしかないらしい。四条烏丸あたりにも出店して欲しいな。（百万遍でもいいけどたぶん高すぎて客入らないから出店するなら四条烏丸だ） また行きたい。替え玉二回…

感想など。三浦八段vsGPS将棋 相矢倉から、攻めるGPSに対し三浦八段は逆に玉頭を盛り上げていくという形での戦いだった。 入玉してしまえば勝てるっていう計算があったのかもしれないけど、人間同士の対局でもありそうな形だった。 途中まではいい形に見えて…

朝は自転車衝突事故の直後っぽいところにでくわした。春だ。 普通に青信号渡ってたのに車がつっこんできてびびった。春だ。 自転車にまたがった若者が警官に何か書類書かされてた。たぶんイヤホン運転とかでつかまったんだろう。春だ。

KMC例会。本年度初参加。せーきちさんホントしゃべるのうまいな。 終わった後新入部員（ただしM1）二人とフジに行っていろいろしゃべった。言語についていいかげんな語りかたするのたのしい。

飲んだ。眠かった。某先生がきてていろいろしゃべった。 なんか昔「0は自然数じゃない」とか言ってて、私が「一度教育せねばならない」と返したらしいのだが、まったく覚えていなかった。でも責任もってちょっと教育した。 そういえば准教授昇格おめでとうご…

せーべさんとミープル行ってリコリコ行った。ミープル、ちょっと狭いけど悪くない感じ。飲み物食べ物はちょっと高いけど。HIVEっていう二人ゲーが面白そうな感じがした。一回しかやってないのでまだなんともだけど、とりあえずコンポーネントがカッチョイイ…

木曜は腹壊して半分死にながら仕事してた。トイレにネット引いて机置きたかった。 それでもなんとか金曜には予定通り仕事こなして帰宅した。金曜も念のため死んでいた。 土曜は一蘭行ってイエサブ行ってドラゴン迷路2箱予約して帰宅して電王戦見てた。電王戦…

朝牛飯、松屋。 昼カレー、名前わすれた。職場のそばの店。一番安いニューヨークチキンカレーとかいうのが950円もした。うまかったし店の雰囲気もよかったけどしばらく行かない。 夜らんたん、安定の味（うまいという意味ではないので注意）うまいという意味…

変な人が増える季節でもあり、無灯火＋イヤホン＋スマホの自転車が増える季節でもある。今日はいきなり走りだした若者を見たのだけど、それがあまりにも面白い走り方だったので書いておく。 いきなり走りだしたってだけでも変なんだけど、その走り方が、手と…

せんべいを割るプログラム。改行はLFで。 #include<stdio.h> char*s="&p(x/""){putc'@" "(x,stdout);/""}q(x)$!1{for('<" "i=48;i<x;i++)p/""(32);}main(){cha':" "r&*c;q(70);print/""f(_#incl_$!2_ude_);q'7" "(t);printf(_<stdio.h/"">_);p(&10);q(66);prin'6" "tf(_char_$!3_*s=_);p(34/"");for(c=s;*c>0;c++){'4" "p&(*c);if(*c==39){c++…</x;i++)p/""(32);}main(){cha':"></stdio.h>

http://www.kmc.gr.jp/~henkma/Sembei/Sembei.c これが http://www.kmc.gr.jp/~henkma/Sembei/1.c こうなって http://www.kmc.gr.jp/~henkma/Sembei/2.c こうなって http://www.kmc.gr.jp/~henkma/Sembei/3.c http://www.kmc.gr.jp/~henkma/Sembei/4.c http:…

4/6 はそんな日でした。 天気悪いのわかっていたのでひきこもり準備をしっかりしていて、適当にごはん作る以外は寝てすごす予定が、将棋の電王戦鑑賞に夢中になってしまい、ラーメン作る手間を惜しんでピザ注文。 ピザ1/2食べながら将棋観戦して、しばらくし…

タイトルはせんべい式口頭タイポ。 せんべいさんとアヒージョ食べてきました。せんべいさんはどうでもいいんですが、10年ぶりくらいに会う後輩と再開して大変楽しかったです。 本当にせんべいさんはどうでもよかったので大変可哀想なことをしたと思っていま…

流行には疎い方だと思ってたけど、ようやく花粉症になったようだなあとなんとなく考えていたが、どうやら風邪だったようだ。 風邪の流行とっくに過ぎてるよね…。 とりあえず今日はビールを飲まずに薬を飲んで寝ようと思う。 そういえばそのうち就活の話を書…

ちょっとネタプログラム思い付いたので書こうとしたんだけど1時間やそこらじゃ無理だったので、来年覚えてたら書こうと思う。 半分悪ふざけでほしみーに「素数ものさし買ってくれたら1円あげる」って言ったら本当に買ってしまったので31円（素数円）あげた。…

寝てすごした。昨日ハッスルしすぎた。というか一週間忙しかった後の土曜で朝6時半から場所取り行って夜まで騒ぐとかちょっとトシ考えろって感じ。 寝て起きて水分と炭水化物をとる。…の繰り返し。明日エイプリルフールだって気付いたけど特に何も準備してな…

朝6時はんから場所とり。はやすぎ。あと2時間遅くてもよかった。 すごく楽しかったです。はんしばありがとう。

…というわけで馬鹿みたいに忙しかった今週です。半分自業自得です。 がんばった結果17時過ぎには一通り落ち着いたので帰宅しました。 そのまま新しい居酒屋開拓。時計台南にできたチョッパーってお店。 わるくないですね。年齢層高いけど。年齢層高いけど。…

今ちょっと緊急で入っていて、あとでちゃんとしたものを作るの前提で急拵え的な作業をしている。 バグいっぱいでて超楽しい。疲れるけど。自分のバグを自分で直してる。マッチポンプ楽しい。 今回は無理だったけど、テキトーにさっさと動くもの作る系は本当…

仕事だけど仕事じゃない部分でめんどくさいことが多かった。サガワが割れたグラスを届けてきたとかそういう類の。 ブログまじめにやったことなかったし今のこれもそんなにまじめにやる気でもないけどうかつなこと書きづらいなーという気がするなー。 とりあ…

KMCの春合宿に途中から参加してきた。KMCは毎年春に勉強のための合宿みたいなのをしている。適当に枠がいくつかあって適当に喋る人がいて他の人が聞いたりつっこんだり居眠りしたりするという形式。せっかくだから何か感想めいたものを書いてみる 漫画のコマ…

なんか てすと かいてみる こんな感じで遊べばいいのか？

てすと