プロフィール
kimiyuki です。最近は一日中 OSS 開発をしています。
- 学問: それなり
- 数学と哲学が好きです
- 開発: できる
- 競プロ: まあまあつよい
- AtCoder (◉ 橙)
- Codeforces (◉ 黄)
- 競プロ (marathon): けっこうつよい
- CTF: けっこうつよい
- お料理
- SNS
- 寄付
- いま読んでいる本:
- 渡邊 二郎ら, ハイデガー「存在と時間」入門, 講談社学術文庫: ソフトウェアエンジニアとしては道具について興味があり、現存在としては実存に興味がある
- S. Shapiro, 数学を哲学する: たぶんこれが本業だと思う
- 佐藤 岳詩, メタ倫理学入門: 道徳のそもそもを考える: メタ倫理学は議論の構造が数学の哲学と似ているように感じられて面白い
- K. Kunen, Set Theory: Enumerative Combinatorics 勢を見ていたら Infinitary Combinatorics をやりたくなってしまった
作ったもの
- 開発中:
- Jikka: 競プロの問題を自動で解くソルバ。哲学パートはブログ記事 (競技プログラミングの問題を自動で解きたい - うさぎ小屋) に書かれている
- Kyopro Encyclopedia of Algorithms (ア辞典): 競プロの知見を収集し保全するための辞典。知の高速道路の老朽化対策である
- メンテ中:
- online-judge-tools/oj: 競プロの問題を解くときの単純作業を自動化するツール。主にサンプルケースでのテストを自動化してくれる
- online-judge-tools/template-generator: 競プロの問題を解くときのテンプレートを生成するツール。解法コードの入出力パートや、デバッグ用のランダムケース生成スクリプトの雛形などを生成する
- online-judge-tools/verification-helper: 競プロライブラリの verify の自動化とドキュメントの生成をするフレームワーク
- online-judge-tools/api-client: 競プロのジャッジサーバとの通信をやってくれる Python ライブラリ
- @atgolfer1: AtCoder でのコードゴルフの最新情報を通知する bot
- atcoder-dos2unix-userscript: AtCoder でコードゴルフをするときに改行文字を
\r\nでなく\nにして 1 byte を削るための user script - competitive-programming-library: 自分用の競プロライブラリ
- コントリビュータとして参加:
- Library Checker: 競プロライブラリの verify のためのオンラインジャッジ (作問環境の整備と問題追加に貢献)
- AtCoder Problems: AtCoder の問題の AC 状況を表示してくれるサイト (主に高速化に貢献)
- あまりメンテしてない:
- mersenne-twister-predictor: Python の標準ライブラリ
randomの出力を予測してくれるライブラリ - libproofofwork: 所望の hash 値を持つ文字列を並列で高速に計算してくれる CTF 用ライブラリ
- google-home-say: Google Home に好きな言葉を喋らせるためのスクリプト
- longcontest-visualizer-framework: marathon コンテストの web ビジュアライザを簡単に作るためのフレームワーク
- mersenne-twister-predictor: Python の標準ライブラリ
- サポート終了:
- topcoder-marathon-match-rating-predictor: Topcoder Marathon Match のレート変化を予測する user script
- 他 たくさん