タグ「dev」
NOBさんの問題をプログラム電卓TI-59で解く
芦ケ原伸之さんのパズル本で紹介されている問題を芦ケ原伸之さんの解き方で解く
うるう年の計算が簡単なのって奇跡？
4年に1回、100年に1回、400年に1回って簡単すぎない？
行政事務標準当用明朝フォントを眺めるページを書いた
DWPI明朝でMJ+に追加されたサイトをなんとなく眺めたい
簡単な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をすると楽に歴史操作できる。
[訂正あり] 秒単位で衝突するファイル名をミリ秒単位に改善すると、1000倍安全になる
訂正しました。誕生日のパラドックスを考えると1000倍の安全性は手に入らない気がするが…？
奈良時代のボドゲ「かりうち」のソルバー
ショートカットが強すぎる気がしたので、モンテカルロ法のソルバーを書いた。
B+木を実装してデータベースとRustのRefCellに詳しくなる
Rustで簡単なデータベースを書く
ペンシルパズルを自作して、唯一解判定ソルバーをSugar CSPソルバで作る
自作ペンパの作成補助ツールを書いた
zshでミスってCtrl-Cをして、空っぽになった入力を取り戻す
うっかりキャンセルしたコマンドを再入力できるようにzshを設定する。
ショートカットでコマンドを入力すると、どんな環境でもそこそこ便利になる
iterm2のショートカットで頻出単語を入力する