天泣記

2023-08-27 (Sun)

#1 Why3: ふと Why3 が気になって https://why3.lri.fr/ にアクセスしたが、Forbidden になっちゃうなぁ

2023-07-08 (Sat)

#1 Coq pull request: GitHub coq/coq/pull/17831: Avoid unicode subscripts in document

2023-06-30 (Fri)

#1 Coq pull request: GitHub coq/coq/pull/17793: Markup EQ as code.

2023-05-12 (Fri)

#1 Coq issue: GitHub coq/coq/issues/17603: Latin subscripts in PDF manual

2023-05-11 (Thu)

#1 Coq issue: GitHub coq/coq/issues/17596: Unexpected coqtop message.

2023-05-01 (Mon)

#1 退院: なんとか退院したが、右足に体重をかけられないので、しばらくは家に引きこもり。

2023-04-04 (Tue)

#1 入院: 朝から病院に行って、診察してもらい、即日入院となった

2000: 04, 05, 06, 07, 08, 09, 10, 11, 12
2001: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2002: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2003: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2004: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2005: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2006: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2007: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2008: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2009: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2010: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2011: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2012: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2013: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2014: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2015: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2016: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2017: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2018: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2019: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2020: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2021: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2022: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2023: 01, 02, 03, 04, 05, 06, 07, 08
latest