2022.06.23 - Internet Explorer 2.0

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のメタタグに

を挿入

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分探索が出来て，更に色々すると，文字列の抽出とかも出来る

とされる