Student

検索に10分以上かかった内容を記事にまとめています。

こんにちは

休日は、無駄なものを開発しているオカメインコです。革新的なアイデアや文化は、無駄から生まれると思ってます。

Спасибо, что посетили мой аккаунт на Qiita. Я кодирую вместе со своими коллегами по работе. Если хотите, можете ознакомиться с моими репозиториями.

定理証明系や論理プログラミングに興味をもっています。

私は、いつも「大学入試数学問題集成掲示板」様のサイトで、ウロウロしています。 https://mathexamtest.bbs.fc2.com/ プロフィールに訂正線が有効でないみたいです。 ~~現在、記事の更新を停止しております。~~ 2024-05-01　 https://ja.stackoverflow.com/users/17199/mrrclb48z