継続渡しスタイル、あるいはコールバック関数は非常に強力なテクニックだ。 例えばJavaScriptでは、非同期処理を扱う.thenメソッドが有名どころだろう。 fetch("http://example.com/movies.json") .then((response) => response.json()) .then((movies) => c…
Haskellでファイルなどのリソースの解放を保証するテクニックとして、ローンパターン（Loan Pattern）がある。withFile :: FilePath -> IOMode -> (Handle -> IO r) -> IO rなどがその例だ。 ローンパターンによる関数を複数使ったプログラムは、無名関数の…
2022年ももう終わりです。というわけで、今年のまとめをします。 1月 すまん！今すれ違って「あっ星にゃーん。久しぶり」って挨拶してくれた人誰でしょうか！？すいません！！わかんなかったです！！— 星にゃーん (@takoeight0821) 2022年1月17日 久々に大学…
注意：この文章には『アイの歌声を聴かせて』のネタバレが含まれます。また、筆者はノベライズ版の感想文としてこの文章を書きました。ノベライズ版での描写が前提となっています。あとなぜか半分ぐらいアシモフの『われはロボット』の話してます。 『ロボッ…
星にゃーんはセキュリティキャンプ全国大会2019の卒業生です。Cコンパイラを作るもくもく型のゼミに参加して、hoc_nyanというCコンパイラを書きました。 セキュリティキャンプ勢？の中の慣例として、応募課題を晒す流れがあります。僕も公開したかったのです…
ちょっとしたメモを書きたい。計算メモとか、こういう文章の下書きとか。僕は常にPCの前にいるかスマホを握ってるかのどちらかなので、デジタルなやり方でメモを書けると嬉しい。 そういうわけで、メモアプリを探してる。 プレーンテキストが書ければいいの…
www.youtube.com リックロール（Rickrolling）、というネットミームがある。日本の腹筋スレと似た、いわゆる「釣りネタ」 だ。 かつて掲示板サイト4chanで、ウソのタイトルで閲覧者を騙し、車輪の付いたアヒルのおもちゃが走る動画を見せるいたずらが流行っ…
感想文・エッセイの草稿置き場をNotionに作りました。 星にゃーんの掌編集の没案とかも置くかも。 星にゃーんの掌編集はこちら。 Notionは、使い勝手が良く、便利です。今まではiOSのメモとScrapboxを使ってたんですが、文書を構造化できない（メモ）、スマ…
一番古い記憶は、変身ベルトのCMだ。 物心ついたときから憧れだった。仮面ライダーそのものより、変身ベルトが好きだった。 ファイズギアとブレイバックルを買ってもらった。四六時中巻いていた。 夢中で仕組みを調べていた。カードのバーコードを目で読もう…
パーサコンビネータなんかでよく使う、 some と many という関数があります。それぞれ引数を１回以上/０回以上実行して結果のリストを返す関数で、これの単純な定義は some v = (:) <$> v <*> many v many v = some v <|> pure [] となります。 some は v : …
我が家では時々、「怪人たる資格」の話が始まる。 仮面ライダーの登場人物には、怪人かどうか判断が難しいキャラクターがいる。仮面ライダー1号は、ショッカーによって生み出された改造人間だ。 もっと直接的に、怪人への変身能力を持つ者もいる。例えばオー…
コンピュータに詳しい人は、しばしば1024とか65536みたいなへんてこな偶数を指して「キリが良い」という。 なぜかと言えば簡単なことで、1024は2進数で書くと0b10000000000で、16進数だと0x400になるからだ。 「0b」と「0x」はそれぞれ、続く数字が2進数（Bi…
github.com はじめに この記事は『第39回 #hiro_it』と『プログラミング言語処理系が好きな人の集まり 第３回定期ミートアップ』での発表資料を清書したものです。 『プログラミング言語処理系が好きな人の集まり』は、 プログラミング言語処理系が好きな人…
最近（ここ数年？）malgoというプログラミング言語を作ってる。 今日、地味なバグを見つけた。厳密にはバグじゃない気もするんだけど、ユーザーの直感に反するような挙動をする。 例えば、Eitherを定義するとする。 data Either a b = Left a | Right b; す…
星にゃーん。彼はTwitterで生まれた、僕の分身のような、息子のような、父のような、そんなフィクションのキャラクター。今だとVTuberみたいなやつ。 だから、星にゃーんとして活動するときには、星にゃーんを演じるようにしている。彼は尊重するべき一つの…
昔のことを思い出した。忘れていた記憶だった。 彼はいつも泣いていた。悲しくて泣いていた。寂しくて泣いていた。友だちとうまく話せなくて、不甲斐なくて泣いていた。冥王星が惑星でなくなったと聞いて、悔しくて泣いていた。7×3が分からなくて、怖くて泣…
プログラミング言語Malgo 2017ごろから、自作のプログラミング言語Malgoとそのコンパイラを作っている。 2018年の2月に、このことをブログに書いた。 あれから三年経ち、色々とできることが増えた…かというと、そうでもない。 しかし、言語設計はかなり変わ…
個人的なプロジェクトとして、コンパイラの中間言語の設計に取り組んでいる。 今できてるのはラムダ計算に毛が生えてコード生成に向いてるセマンティクスを持つみたいなやつで、『星を継ぐもの』に登場するコリエルというキャラクターから名前をもらってkori…
昨日は現状を整理して、要らないアプリをアンインストールしよう、というところまでやった。 アプリのアンインストール /Applicationsからアプリケーションを削除してはい終了、と行けばいいのだが、~/Library以下にゴミが残ったりする。 これを真面目に探し…
流石にまずいので、この三連休でどうにかします。目標は100GBの削減。 現状 現状。酷い。 関心があるのは一番上のMacintosh HD。その内訳は左から順に以下の通り。 書類：91.36GB App：39.39GB iOSファイル：21.12GB ミュージック：6.52GB デベロッパ：5.59G…
11月3日の夜、昔のことを思い出した。 小学校の頃、僕はスポーツ少年団の合宿に参加した。 スポーツをやってたわけではなかった。 空手の師範代だったじいちゃんがその地域のスポーツ少年団に関わってて、 その伝手で参加することになった。 正直なところ全…
スターウォーズは言わずとしれた名作スペースオペラである。「遠い昔 はるかかなたの銀河系」というフレーズを至るところで聞いた。適当な棒を構えてライトセーバーごっこに興じたこともある。C-3POとR2-D2がすべてのエピソードに登場していることも知ってい…
『アステリズムに花束を 百合SFアンソロジー』は、「百合」と「SF」の2つのテーマを掲げて編まれた短編集だ。 もともとは伊藤計劃の『ハーモニー』10周年を記念して企画されたSFマガジンの百合特集がかつてないほどの反響を呼んだことがきっかけらしい。積ん…
読みました。錬金術師の密室。 先月だか今月だかに出たハヤカワ文庫の新刊で、タイトルの通り錬金術師の密室殺人事件を描くミステリー小説です。 簡単にあらすじを紹介しましょう。優秀だが誠実なばかりに世渡りの下手な青年軍人エミリアは、その優秀さを買…
一応、ネタバレ注意 柳の下のド嬢 「柳の下のどじょう」。 「2匹目のどじょう」をカッコよく言い換えるとこうなるらしい。らしい、というのはド嬢とどじょうをかけたダジャレを言いたいがためだけに「どじょう 慣用句」でググって最初に目についた言葉をよく…
映画『フラグタイム』、観てきました。去年の12月に1度観て、原作を読み、そして追加上映を観てきました。2回目です。 frag-time.com 小林由香利の話をさせてくれ。 なお、原作の作者コメントの話を持ち出すが映画『フラグタイム』の小林由香利について話す…
-- はじめに。この小説はフィクションです。実在の人物、組織、時系列、概念その他諸々との整合性を取ることは不可能です。あと『2010年代SF傑作選』の話はしません。2010年代個人的にしんどかったって話を書きました。 去る2020年2月6日、2010年代に発表さ…
なんかこの話題でTwitterが盛り上がっていた。 togetter.com 答え: 「無知は罪なり、知は空虚なり、英知持つもの英雄なり」の出所、なぜかネットのどこを見ても言及がないので置いておきますね2001年の個人のテキストサイトが初出で、ソクラテスの「無知は罪…
今年の星にゃーんまとめです。だいたいベッドの上でゴロゴロしていました。 これを書くために今年の星にゃーんのツイートを全部読みました。 1月 仮面ライダー平成ジェネレーションズFOREVERを観る。 「仮面ライダーはフィクションの存在だった」から始まる…
CoqのGallinaでは2つのコンストラクタC1, C2のある型Tの式vについて、 if v then t1 else t2 が match v with | C1 ... => t1 | C2 ... => t2 end にdesugarされる。 なんだかよくわからないけどかっこいい！！！Haskellでもこれやりたい！！！ やりました。…
