2019-12-20から1日間の記事一覧
うおうお。 この記事は Mathematical Logic Advent Calendar 2019 の20日目の記事として書かれました。わいわい。 19日担当Yasuda_Yasutomoに書け!!!と言われてむむむと枠を取りましたが何を書こうか困っていたある日のこと、nLabを眺めていたら cartesia…
うおうお。 この記事は Mathematical Logic Advent Calendar 2019 の20日目の記事として書かれました。わいわい。 19日担当Yasuda_Yasutomoに書け!!!と言われてむむむと枠を取りましたが何を書こうか困っていたある日のこと、nLabを眺めていたら cartesia…