今日の三井君
LightNews LightNews
banner
todays-mitsui.bsky.social
今日の三井君
@todays-mitsui.bsky.social
17 followers 12 following 64 posts
株式会社はてなでアプリケーションエンジニアをしています。
ラムダ計算の学習のハードルを下げるためステップ評価器の skiMogul (https://mogul-lang.mudatobunka.org/) を作っています。東京にはいません。
Posts Replies Media Videos
todays-mitsui.bsky.social
ハリーポッターと賢者の石を最初の15分だけ見た。
これ絶対最後はハリーとダドリーの一騎打ちになるんだろうなー。で、序盤で助けた大蛇がハリーのピンチに助太刀に現れて「あの魔法を使え！私を逃したとき使ったガラスを消す魔法を！」とか言うんだろうなー。伏線回収えぐい。
April 7, 2024 at 1:29 PM
todays-mitsui.bsky.social
PHPカンファレンス福岡のプロポーザル募集の期限が迫っている。登壇者として参加したい思いがおおいにあるのでプロポーザルを出したいのだが、全然ネタが浮かばない。なぜネタが出ないのか自問自答しまくった結果、「どうやってネタを出せばいいか」というテーマで話したらいいんじゃねーの？というところに思い至りつつある。
ネタがでなくて悩んでる人がネタ出しの方法論について語るとは？と矛盾を感じるけれども。
March 14, 2024 at 12:40 PM
todays-mitsui.bsky.social
3月は私の誕生月です！何かください🤗

リストがここに在ります↓↓↓

>>いますぐクリック<<
www.amazon.co.jp/hz/wishlist/...
Amazonほしい物リストを一緒に編集しましょう
www.amazon.co.jp
March 8, 2024 at 5:05 AM
todays-mitsui.bsky.social
何故かツィーリンのドットを打っている。
March 6, 2024 at 10:20 AM
todays-mitsui.bsky.social
ブログ書きました。
オブジェクト型に対して指定したキーだけを省略可能にする再帰的なユーティリティタイプです。
地味に便利かも？と思ったので書き記します。
blog.mudatobunka.org/entry/2024/0...
March 6, 2024 at 5:46 AM
todays-mitsui.bsky.social
オビ=ワン・火曜日
March 4, 2024 at 11:14 PM
todays-mitsui.bsky.social
毎年3日間だけ花粉症に罹っている【定点観測】 - 無駄と文化
blog.mudatobunka.org/entry/2024/0...
毎年3日間だけ花粉症に罹っている【定点観測】 - 無駄と文化
ここ数年、春先に鼻炎になる。「花粉症か」「自分にもついに来たか」と思って薬を飲むなどのだが3日ほどすると治っている。そんなことが続くので冗談めかして「毎年3日間だけ花粉症になるんです」などと言っていた。 2024年、今年も花粉症の季節がやってきた。 そろそろ実態を解き明かしたい気持ちがあるので、定点観測1年目という気持ちでブログに書き残そうと思う。 ◾️2024-02-25 sun 朝からやたらと...
blog.mudatobunka.org
February 28, 2024 at 10:05 AM
todays-mitsui.bsky.social
ブログ書きました。ラムダ計算の学習のハードルを下げるためステップ評価器の skiMogul を作っています。
blog.mudatobunka.org/entry/2024/0...
型無しラムダ計算学習用ステップ評価器 skiMogul を作っている話 - 無駄と文化
みなさま ラムダ計算 をご存知でしょうか。 ラムダ計算はある種の関数型プログラミング言語の体系で、変数と関数, そして関数適用というミニマルな構成要素だけでチューリング完全な表現力を持っています。 この記事では、ラムダ計算の中でも特に単純な 型無しラムダ計算 に着想を得てラムダ計算のステップ評価器を作っている話について書きます。 既存のモデルへの不満 型無しラムダ計算の処理系は昔からいくつも実装さ...
blog.mudatobunka.org
February 27, 2024 at 12:27 AM
todays-mitsui.bsky.social
Rust は「コストのかかるコードは書くのが苦痛であるべき」という思想のもとデザインされている気がする。
というのも Rust を書いていると "意図的にショートカットが用意されていない" と思える場面があるからだ。
February 22, 2024 at 1:30 PM
todays-mitsui.bsky.social
好きな曲は何回も繰り返し聴く
嫌いになるくらいまで何回も聴く
February 20, 2024 at 1:51 AM
todays-mitsui.bsky.social
今日はこれ、(とても良い)
February 20, 2024 at 1:35 AM
todays-mitsui.bsky.social
オビ=ワン・火曜日
February 19, 2024 at 11:35 PM
todays-mitsui.bsky.social
食らえマルちゃんやきそば弁当
February 19, 2024 at 4:18 AM
todays-mitsui.bsky.social
私はあなたの孤独に立つ意思を思い出す度に
February 14, 2024 at 7:05 AM
todays-mitsui.bsky.social
オビ=ワン・火曜日
February 13, 2024 at 11:14 PM
todays-mitsui.bsky.social
食べたぜ！
February 9, 2024 at 11:41 AM
todays-mitsui.bsky.social
行くぜ！
February 9, 2024 at 2:17 AM
todays-mitsui.bsky.social
今日から札幌旅行に行くんだけど、家を一歩も出てないのにすでに寒い。先が思いやられる。
February 8, 2024 at 10:06 PM
todays-mitsui.bsky.social
「ジェラードン」と「ジェラートピケ」、スマホ入力だと「ジェラート」まで被ってるの厳しいな。
February 8, 2024 at 10:53 AM
todays-mitsui.bsky.social
いまの10代、音楽サブスクが当たり前だから「初めて買ったCD」みたいな話題で盛り上がれなくない？
February 8, 2024 at 1:57 AM
todays-mitsui.bsky.social
あーあー、マイクテスト🎤マイクテスト🎤
February 7, 2024 at 10:15 AM