clairvyのブックマーク / 2023年3月25日

clairvy id:clairvy

2023年3月25日のブックマーク (4件)

10回以上観た映画
アラフォー男である俺の場合・スタンドバイミー（少年4人の方）・バックトゥザフューチャー（初代）・インディージョーンズ（1と2）・スターウォーズ（4と5と6）・ターミネーター（1と2、特に2）・タイタニック・ジブリ作品（カリオストロの城、ナウシカ、ラピュタ、トトロ、魔女、もののけ、千と千尋）・酔拳・マッドマックス・コマンドー・羊たちの沈黙・マトリックス（初代）・君の名は。・ジョーカー・ボヘミアン・ラプソディみんなも教えてね（追記）みんなたくさんコメントありがとう！いやぁ、映画って本当にいいものですね
clairvy 2023/03/25
ない
リンク
わいせつ行為で免許失った教員のデータベース4月運用へ文科省 | NHK
教員による児童や生徒へのわいせつ行為をなくすため、文部科学省は4月から、そうした行為で教員免許を失った人の情報をまとめたデータベースの運用を始めます。それに伴い、教員の採用などでこのデータベースを活用するよう求める通知を教育委員会などに出しました。このデータベースは、おととしに成立した法律に基づき、国が整備したものです。現行の教員免許法では、教員が懲戒免職になっても3年が経過すれば再び教員免許を取得できますが、おととしに成立した法律では、児童や生徒へのわいせつ行為で免許を失った人に再び免許を交付するかどうか、教育委員会が審査会を経て判断できるようになったうえ、こうした経緯で免許を失った人の氏名や理由などの情報を共有するデータベースを国が整備するとしています。このデータベースの運用を4月から始めるとして、文部科学省は24日、活用などを求める通知を都道府県の教育委員会などに出しました。
clairvy 2023/03/25
わからん、教員だけなの？何を期待してるの？
リンク
TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)
ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>; // = true 一方でこのようにして定義された関数は第一級ではない, つまり関数そのものを他の関数の引数として渡したりすることができません. type FilterUnion<F, X> = X extends unknown ? (F<X> extends true ? X : never) : never; // ~~~~ // ^ Error: Type 'F' is n
clairvy 2023/03/25
リンク
https://twitter.com/asozan_daifunka/status/1639095329604911115
clairvy 2023/03/25
リンク
- 2023年3月26日
- 2023年3月25日
- 2023年3月24日