フォローしませんか?
シェア
りょうじ
2020年2月8日 03:55
2月7日金曜日、晴れ引き続き寒い。* * *夕方に全体会同。ところで全体会同なる催しが行われるようになったのはいつからだったか。そもそも会同なるものが何なのか。(字面と音の響きからだいたい想像はつくけれど)全体会同という催しがあると聞いたら、あああそこのグループ会社なのね? みたいな想像が働くくらい特徴的な催しなんじゃあないだろうか?(よく知らない)今回はしくじることなく前向き
2018年12月2日 02:37
12月1日土曜日、晴れタイトルのセミナーに参加してきた。これ。主催者はいろいろな意味で大きな人で、尊敬する憧れの大先輩、初谷さん。並行プロセス CSP の理論からはじめて、プロセスをいくつか定義し、それらの合成(組み合わせ)によって定義できる並行プロセスが「同じ」かどうかを確かめられる(=検証できる)ようになろう!そんな盛りだくさんの内容を6時間に詰め込んだ野心的なセミナー。(検証は、
2018年11月6日 02:17
11月5日月曜日、晴れこれと言ってこれを書いておかねば! ということが思い浮かばない……。5月の頭、この note を始めたころは、暴走する頭の中をどうにか外に出さないとという焦りで溢れかえっていたのだけれど、落ち着いたものだ。(さらにその半年前はツイッターにとめどなくツイートを垂れ流していたんだっけ)空っぽになったわけではない。いまだってしたいこと、考えたいこと、いくつかある。けれど、
2018年10月3日 01:49
10月2日火曜日、晴れ自作の LISP インタープリターに、これまた本やネットを見ながらあれこれこねくりまわした順列生成プログラムを入れてみる。(set (quote concat) (lambda (xss) (cond ((atom xss) xss) ((quote else) (append (car xss) (concat (cdr xss)))))))(set (quot
2018年9月21日 02:36
9月20日木曜日、雨長かった。足掛け8日間。ようやく LISP インタープリター、作りあげることができました。Example にも書いているとおりだけれど、こんな評価が可能です。$ ./ulisp> (quote ulisp)ulisp> tTrue> (set (quote hello) (quote ulisp))ulisp> helloulisp> (set (quote r)