Student

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

こんにちは

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

基本的に記事はZennに書いています。 リンクはWeb欄へ。 Qiitaは技術記事閲覧用。

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

おすすめです。 サクラエディタの正規表現wiki 正規表現/投稿 http://sakura.qp.land.to/?%C0%B5%B5%AC%C9%BD%B8%BD%2F%C5%EA%B9%C6 私は、いつも「大学入試数学問題集成掲示板」様のサイトで、ウロウロしています。 https://mathexamtest.bbs.fc2.com/