Vtuberというとコンビニとかでよくコラボしてる。とか、スパチャが凄い、ゲームが上手いみたいな感じしか知らんのだが、 甥っ子がホロライブのマリン船長が好きっていうんで、ちょっと見てみたんだが全然わからん。 キャラデザは良いし声も良いんだけど、話題が行ったり来たりしていて何が楽しいのかさっぱりわからん。 何か話してる最中に「あ、そういえば～」で話題が飛びまくる。 ゲームが上手いと評判の人のAPEX大会の動画も見てみたんだけど、流石に元のゲームを知らないと楽しめないのはしょうがないか。 脱出ゲームみたいなやつの配信はリアクション楽しくてそこは魅力を感じた。 カラオケを歌ってる人の配信も見てみたが、プロ並ですげーなって思った。 ただ、正直「すげーなー」と思う程度で、これからもずっと応援しよう！という感じにはならなかった。 甥っ子は結構なファンらしく、色々教えてくれるのだが全然ピンとこない。 や

このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論