【TwiPlaからお知らせ】
現在、X(旧Twitter)の障害によりログインできない場合があります。
[こちらのページ]の手順でログインできます。

Akira, M. さんのマイページ

@ka9e
@ka9eさんをフォロー
monologue is described informally / maintains @math_fml_bot / latest interests : formal verification ; c.f. @ka9e_iff

今後の予定過去の予定日付未定

イベントがありません。