マガジンのカバー画像

プロメテウスの箱庭

150
僕が考えるいろいろなことを、できるだけ残していくためのサンドボックス。 ここで燃やす小さな火があなたの何かを照らせたら、嬉しい。
運営しているクリエイター

#エッセイ

「並行プロセスの理論と設計検証入門」

12月1日土曜日、晴れタイトルのセミナーに参加してきた。これ。

主催者はいろいろな意味で大きな人で、尊敬する憧れの大先輩、初谷さん。

並行プロセス CSP の理論からはじめて、プロセスをいくつか定義し、それらの合成(組み合わせ)によって定義できる並行プロセスが「同じ」かどうかを確かめられる(=検証できる)ようになろう!
そんな盛りだくさんの内容を6時間に詰め込んだ野心的なセミナー。
(検証は、

もっとみる

いい肉の日に寄せて

11月29日木曜日、晴れお昼にチャットで、「五反田駅のそばで何の行列かとおもったら、牛角で(いいにくの日だから)食べ放題をやっていたみたい」というのが流れてきた。

飽食の時代。

おいしいものを食べられるというのは素敵。
だけれども、だ。
食肉として食べられる程度にまで肥育した農家は、そしてそのために解体された牛は、そんな馬鹿げた値段で投げ売りされることなんか、これっぽっちも想像しなかったろう。

もっとみる

自己肯定感

11月20日火曜日、晴れ幸せに暮らせるかどうかは「自己肯定」できるかに大きく依存しているとおもう。自分が好きかどうか。

我が身を振り返って、僕は自己愛は強い。これはかなりの確度でそうおもう。一方で肯定感は高くない、とおもっている。
「これでいい」という満足がしづらく、また、なにかを決めるときに「これでいい」と割り切れない。(決めたとしても、その後うじうじ悩む)

認められたい、認めてほしいという

もっとみる

見たくないという自由

10月22日月曜日、晴れ「十代の女の子が性的に描かれる作品を見たくない」という主張は、とくに娘のいる親ならそういうものじゃないかな、とおもう。
そして彼が「見たくない」ということ自体、否定されることではないとおもう。それなのにこのツイートにぶら下がるリプライが醸しだす地獄感。

そんなことを思いながらぽちぽちとツイートを綴っていたんだけれど、我が身を振り返って色々アウトな作品を読んでいることをおも

もっとみる

タダ働きという感覚

10月12日金曜日、晴れ晴れ、てたよな……?

* * *

PTAの仕事のため午後半休。

なんだけれど、1時間タダ働きしてしまった……。
この「タダ働き」という感覚、ほんと久しぶりだわ。

* * *

僕の勤める会社の働きかたにはベーシックスタイルとカジュアルスタイルという二択がある。(※マネージャー層除く。彼らには出勤の義務さえないことになっている。けれど一般の社員より早く出勤していたりす

もっとみる

ものさしがただひとつだけの世界の窮屈さ

10月5日金曜日、雨(写真なし)
お昼に行った板前バルのピリ辛海鮮丼、おいしかった。

ランチメニューはいずれも1000円、支払いは現金のみ。

壁に掲げられたメニューにも、キノコと海老のアヒージョやらなにやらあって、夜の食事もおいしそう。ああ、ゼイタクしたいわあ。

* * *

贅沢といえばお昼に読んだ記事。

cakes でおなじみの林さん、ワイングラスのむこう側から。

彼は飲食店を経営し

もっとみる
やめられないのは、自分に自信がないから

やめられないのは、自分に自信がないから

10月4日木曜日、曇りときどき雨昨晩の憂鬱が尾を引いた1日だった。

いやもうほんと、引きこもるよ僕は。
知らない人のいるところはできるだけ避ける。避けます。

* * *

仕事で作成中のライブラリー、ファイルの構成や依存ライブラリーの隠蔽の仕方など色々気になってしまって一進一退。

ああでもないこうでもないとやっているうちに時間は過ぎ、気がつけば8時前。(いや、薄々気がついていたけれど見て見ぬ

もっとみる

自作インタープリターにバグがあり、悩み中

10月2日火曜日、晴れ自作の LISP インタープリターに、これまた本やネットを見ながらあれこれこねくりまわした順列生成プログラムを入れてみる。

(set (quote concat) (lambda (xss) (cond ((atom xss) xss) ((quote else) (append (car xss) (concat (cdr xss)))))))(set (quot

もっとみる

すでに過ぎ去りし嵐

9月30日日曜日、雨昼の間は降ったり止んだり。いまもパタパタ屋根を叩く雨音。
ついさっきまでは轟々と風が吹き荒れていて、ふうと瞬間的に灯が暗くなったり、いかにも嵐な雰囲気だったのだけれど、ちょっと落ち着いたかな?

気象庁のサイトによれば午前1時の時点で台風の中心は岐阜あたり。午前6時にはもう宮城県を抜けそうな勢い。どうやら明日は平常どおり通勤できそう。

* * *

昨晩あそんでいたドラゴンク

もっとみる

人混み嫌い

9月26日水曜日、雨薄々と感づいていたけれど、僕は人がうじゃうじゃいる状況が苦手なようだ。

昨晩の渋谷もずいぶん難儀したし、そうでなくても出社時間、会社前の大通りを歩くだけでかなりのストレスを感じている。(ここのところぐるっと迂回して目黒川沿いの遊歩道を通っているのだけれど、こちらは人が少なくて快適。浮き立つくらいに気分がいい)

10人いれば、そのうち8人は多分僕とは合わない。
僕の気の遣いか

もっとみる

完成、 LISP インタープリター

9月20日木曜日、雨長かった。

足掛け8日間。
ようやく LISP インタープリター、作りあげることができました。

Example にも書いているとおりだけれど、こんな評価が可能です。

$ ./ulisp> (quote ulisp)ulisp> tTrue> (set (quote hello) (quote ulisp))ulisp> helloulisp> (set (quote r)

もっとみる

労働と誇りと責任感

9月14日金曜日、晴れPTAのお仕事のため有給取得。

残り少ない貴重な有給。
だから午後半休にして節約したいところなのだけれど会社制度がうまくないので全休をあてた。仕方ない。

* * *

僕が住んでいる日野市には家庭教育学級という制度がある。(ということを、PTA委員になってはじめて知った)

家庭教育学級とはなにか?
日野市に暮らす人たちへの福祉、「生涯学習」機会の提供の一環で、こどもを養

もっとみる

仲野徹『こわいもの知らずの病理学講義』

9月6日木曜日、晴れ月曜日から足掛け四日かけて読了。

4章だて。
後半2章で「癌」について自在に語るために前半2章はヒトの病気に関する基礎知識。

関西弁を織り交ぜて適度に脱線もしつつ軽妙に語っている ……はずなんだけれど、ずいぶん時間がかかった。やっぱり教科書的な部分は読んでいて眠苦なる。著者には申し訳ないけれど、数ページ読むごとに消し飛んでいた意識を自覚する為体。

知りたくないはずはない、

もっとみる

PTAのお仕事

9月1日土曜日、曇りのち雨「ふれあいまつり」というイベントがある。PTA委員は無条件に強制参加でそのお手伝いをすることになっている。そして今日は、その来たる日のための研修(?)が朝から。

どういうわけか、そこまで嫌いでもないので頑張ってしまう。けれど、これってやっぱり日本の悪弊のひとつだとおもう。麗しき無償奉仕、手弁当。

「四の五の言わずにお手伝いくらいやれ! お世話になってるんだから」
「苦

もっとみる