メモ書き
簡単なSMT&SATソルバーを書いて4x4数独を解く
いつもお世話になっているSMTソルバーの処理を知る
どこまでもズボラなgit aliasたちを極める
自己流の1文字2文字3文字のgit aliasたち。「fom!ac!gp!pr!」
ブランチの移動にgit reset --hardをやめてgit switchの組み合わせを使おう
git reset —hardは事故を免れないので、git switchで代替する
組木パズルをA*と焼きなまし法でプログラムを書いて自作した
組木パズルを自作して3Dプリンタで印刷して遊ぶ
git rebase -iで分岐元を自動指定するには--keep-baseで良い
git rebase -i --keep-base mainをすると楽に歴史操作できる。
投影幾何学的代数PGAによる3次元計算が楽で面白い
行列とかクォータニオンとか3次元平面とか全部一緒くたにあつかえるすごいヤツ
ようやく理解した米田の補題とHom関手
圏論の基本と米田の補題がどう嬉しいのか。証明は書いてありません。
[訂正あり] 秒単位で衝突するファイル名をミリ秒単位に改善すると、1000倍安全になる
訂正しました。誕生日のパラドックスを考えると1000倍の安全性は手に入らない気がするが…?
奈良時代のボドゲ「かりうち」のソルバー
ショートカットが強すぎる気がしたので、モンテカルロ法のソルバーを書いた。
B+木を実装してデータベースとRustのRefCellに詳しくなる
Rustで簡単なデータベースを書く
最も近い分数を探す表 ― 29%は「3人に1人」ではなく「7人に2人」
小数とそれに近い分数の表
ペンシルパズルを自作して、唯一解判定ソルバーをSugar CSPソルバで作る
自作ペンパの作成補助ツールを書いた
オセロ?オロロ?エロセ?オセロの変わったルールを大量に生成
小谷善行さん発案のOSEROバリアントです。本家とは異なる実装です。
zshでミスってCtrl-Cをして、空っぽになった入力を取り戻す
うっかりキャンセルしたコマンドを再入力できるようにzshを設定する。
ショートカットでコマンドを入力すると、どんな環境でもそこそこ便利になる
iterm2のショートカットで頻出単語を入力する
壊れた卓上IHを自分で修理する
IHのスイッチが壊れたので、自分ではんだ付けして直す。
Vueっぽいものを実装してComputedの仕組みを探る
VueのComputedのやや魔法っぽい、依存関係の自動導出についての仕組みを、簡単な実装で解説しました。
仮想DOMの差分更新を簡単に実装する
仮想DOMの簡単な実装を行いました。差分をみて必要なDOMの更新だけ取り出します。
教養動画における本当に何もわかってない道化の存在について
何もわかっていな人が与える安心感と質問することについて。
Rustで「低レイヤを知りたい人のためのCコンパイラ作成入門」を少しやる
コンパイラ作りを思い出す
三目並べをランダムに指したときの先手の勝利確率は?
まったくもってランダムに三目並べを行うときに先手はどれくらい有利か
コンベアで計算する『Infinite Turtles』でBrainfuckインタプリタを実装した
ベルトコンベアでbrainfuckを計算する様子
自動化コンベアでチューリング完全を目指す『Infinite Turtles』の紹介
steamのゲームの紹介。ベルトコンベアでいろんな問題を解く。
『Ray Tracing in One Weekend』をやった
レイトレーシングを実装する
ISUCON12予選突破した。 :old_noto_innocent:
ISUCON12予選突破できた。そのまとめ。
Notionでもブログを書けるように
Notionからnextjsでブログを生成する
メモ構築にnextjsを使う
nextjsのSSGで静的ブログを書く。Markdownではなく、生のReactでブログを書きたい。
N次元マルバツゲーム Super Ultimate TickTackToe
異常にネストした◯✕ゲーム