2022.06.23
https://gyazo.com/627602e53b46e746315d75fa07c08434
前:2022.06.22
後:2022.06.24
#日報
いいね
https://nicothumb2img.vercel.app/image/sm500873#.png https://nico.ms/sm500873
組曲『ニコニコ動画』
15周年〜
ニートがいっぱい ニコニコ動画
MOTHER feat. 初音ミク
https://nicothumb2img.vercel.app/image/sm40620859#.png https://nico.ms/sm40620859
何?
コネクト to ティーダ feat. 初音ミク & 巡音ルカ
https://nicothumb2img.vercel.app/image/sm40647289#.png https://nico.ms/sm40647289
本当に何?
やった
おれの過去,そして…
animemusicquiz w/ bakarasukun, hikage, tosuke, ci7lus, rinsuki, rokoucha
メモ:2022.02.22
色々あり,sno2wman.devのメタタグに
<meta name="generator" content="IBM HomePage Builder 2001 V5.0.3 for Windows">
を挿入
https://github.com/SnO2WMaN/sno2wman.net/commit/c65338715b2d3847953eb350ba88756e2c0c5125
読んだ
項書き換えシステム入門(外部記事)
http://www.nue.ie.niigata-u.ac.jp/toyama/lab-intro/TRS-intro/index.html
書いた
書いてない
近況報告 2022.06.30 (スライド)
来た
圏論入門 Haskellで計算する具体例(本)
誰が送ったのかわからないが,ありがとうございます
会話した
@intsuc
多段階計算
依存型,その他,諸々…
TypeScriptとHaskellの壊し方など
Build Systems à la Carte
https://www.microsoft.com/en-us/research/uploads/prod/2018/03/build-systems.pdf
Idris2
https://keens.github.io/slide/idris_2nosuuryoutekikatagakaiketsushitamondai_dounyuushitamondai/
よりマトモなHaskellという大雑把な説明を聞いた
気になる
Minecraftのボートの座標ズレを使った幾何学的な何か
https://www.reddit.com/r/Minecraft/comments/4koy7q/rotational_dynamics_using_boats_the_true_biggest/
Minecraftの仕様を付いた文字列のパース
https://github.com/McTsts/Minecraft-String-Utilities
Minecraftでは文字列を完全一致以外でしか評価できない
しかし,なんか凄い技術を使えば,2分探索が出来て,更に色々すると,文字列の抽出とかも出来る
とされる