まつど
- いいね数 102,851/144,366
- フォロー 1,895 フォロワー 2,964 ツイート 80,115
- Web https://scrapbox.io/education/
- 自己紹介 批評とアニメ好き/ラノベ・漫画積読リスト http://scrapbox.io/lightnovel/
2021年06月09日(水)
最近、コンピュータで証明を形式化するLeanというので遊んでます。ブラウザで動く「自然数の掛け算の可換性とかの敵を倒そう！」という趣旨のゲームが、使われてるプログラミング言語しらなくても1からチュートリアル付きで遊べて、オススメです：
Natural number game
www.ma.imperial.ac.uk/~buzzard/xena/...
タグ：
posted at 20:50:33
ちなみに PHP で PNG のバイナリ操作ならこれでできる。ExifTool も Perl だしねまぁ。LL でもいいかなと。
github.com/yoya/IO_PNG
タグ：
posted at 15:50:49
ed-ict｜ICTを活用した教育情報発 @ed_ict_net
薬剤師の方による『はたらく細胞』二次創作でmRNAワクチン投与の細胞の動きを表した漫画が分かりやすい - Togetter togetter.com/li/1726934 @togetter_jpより
タグ：
posted at 15:21:01
imagemagickのPNGの圧縮率はデフォルトでそこいらのアプリが吐き出すものよりかは良いけど，流石にzopfliには敵わないわけで．せっかく時間をかけてzopfliで再圧縮したPNGファイルに後からtEXtチャンク追加しよ〜ってなったときに，IDATの容量が膨れ上がるのはアカン，というやつ．
タグ：
posted at 12:55:47
30歳すぎると新しい分野の音楽や小説をあまり読まなくなるという研究ありましたよね。30歳以降はかなり無理して自分を広げないと人生がドンドン萎んでいくのを心から感じます。
タグ：
posted at 10:55:10
「シュークリームが全員分なくて自分が遠慮すれば全員食べられる」って時に自分もかなり食べたいのになぜかほぼ無条件で「私はいいから、みんなで食べな」と言ってしまう人、実は他の誰かが遠慮してくれるのが真の期待値だったりするから大変なんですよ。
タグ：
posted at 10:39:42
コードの可読性についてのプレゼンテーション紹介 vol. 1: "導入と原則" 編 - LINE ENGINEERING
engineering.linecorp.com/ja/blog/code-r...
全部英語で700ページ超えの長大なスライドの、読み取りの補助線になるであろう日本語での解説。vol.4まである。（vol.5は「この判断基準に基づいたレビュー」の話）
タグ：
posted at 10:33:52
