▽ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ Coq
●06/27 14:35
証明駆動開発入門(2) (公開 2011/10/25) (最終回)

▽最新ｺﾗﾑ - 野田地図
●02/04 08:51
2020/11/26
｢劇場は人が屯をするところではない！｣に始まって
2020/11/25
｢匿名性｣の文化から演劇を取り戻したい
2020/11/24
犬の声と筆力

▽ﾎﾟﾌﾟﾃﾋﾟﾋﾟｯｸ ｾｶﾝﾄﾞｼｰｽﾞﾝ / 大川ぶくぶ / まんがﾗｲﾌWIN
●01/18 22:35
ﾌﾚｰﾑ対応のﾌﾞﾗｳｻﾞでご覧下さい｡
ﾌﾚｰﾑ対応のﾌﾞﾗｳｻﾞでご覧下さい｡

▽とりﾏｾ Σ^0_2
●06/12 04:41
2020年5月16日土曜日
Lower bounds for tree(4) and tree(5)
H. Friedman's finite miniaturization of Kruskal's tree theorem
Hey, guys. You like large numbers, don't you?
Today's topic is about a huge number related to Kruskal's tree theorem in graph theory.This is an important theorem that leads to Nash-Williams' BQO theory, Robertson–Seymour's graph minor theorem, and so o

▽りくごう堂
●12/04 00:54
2021/12/3(金)
りくごう､それは､君が見た光
ぼくが見た希望
こんばんは｡それはふれあいの心､りくごうです｡
さて､今日も今日とてﾍﾋﾞﾄｰｸを掘り下げたいのですが､あんまりやってると本当に誰も読んでくれなくなるので漫画ｱﾆﾒの話でもしようかと思います｡
と言ってもぼくは小学5年生なので､ﾀﾞｲの大冒険やﾌﾟﾘｷｭｱと言った朝ｱﾆﾒばかり見ていて深夜ｱﾆﾒはあまり見ていなかったりします｡
でもｼﾞｮｼﾞｮ6部がNetflixで12話一挙公開してるみたいですね｡
各国の吹替版の聴き比べ動画がYouTubeにあったので見てみました｡世界中の女性声優さんがｵﾗｵﾗｵﾗｵﾗｵﾗ言わされてて大変だなぁと思いました｡
入っちゃおうかな､Netflix｡ﾊﾞｷとかも見れますし｡でもこういう動画ｻｰﾋﾞｽっていざ入ってみると案外見ないんですよねぇ…
昔（1月）ｺﾒﾝﾄ返し
お正月だというのに｢素敵な指の恐怖｣