このページの日本語版

About Me

I’m kimiyuki. These days, I’m working on OSS development all day long.

• Study
  • I like mathematics and philosophy.
• Development
  • GitHub
• Competitive Programming
  • AtCoder (◉ orange)
  • Codeforces (◉ yellow)
• Competitive Programming (Marathon Match)
  • TopCoder (◉ MM red)
  • CodinGame
• CTF
  • CTFtime
• Cooking
  • Instagram
• SNS
  • Twitter
• Donate to me
  • Amazon Wish List
  • GitHub Sponsors
• Books I’m reading now:
  • 渡邊 二郎ら, ハイデガー「存在と時間」入門, 講談社学術文庫 (Heidegger)
  • S. Shapiro, 数学を哲学する (Thinking About Mathematics: The Philosophy of Mathematics)
  • 佐藤 岳詩, メタ倫理学入門: 道徳のそもそもを考える (Metaethics)
  • K. Kunen, Set Theory

My Products

• WIP:
  • Jikka: an automatic solver for problems of competitive programming. The philosophy behind this solver is written as a blog post (競技プログラミングの問題を自動で解きたい - うさぎ小屋)
  • Kyopro Encyclopedia of Algorithms (ア辞典): a encyclopedia for competitive programming
• now maintaining:
  • online-judge-tools/oj: a tool to automate tedious tasks (e.g. testing with sample cases) to solve problems of competitive programming
  • online-judge-tools/template-generator: a tool to generate boilerplate code (e.g. input/output part of solution, random case generators) for competitive programming
  • online-judge-tools/verification-helper: a framework which automates verification and generates documents for libraries of competitive programming
  • online-judge-tools/api-client: a Python library which talks with online judges
  • @atgolfer1: a bot notifying updates about code golf on AtCoder
  • atcoder-dos2unix-userscript: a user script to replace \r\n with \n on submissions of AtCoder to reduce 1 byte for code golf
  • competitive-programming-library: my library for competitive programming
• contributing:
  • Library Checker: an online judge to verify libraries for competitive programming (contributed to improvement of problem preparation and addition some problems)
  • AtCoder Problems: a website which shows AC status of AtCoder’s problems (contributed to optimization)
• not actively maintained:
  • mersenne-twister-predictor: a Python library to predict outputs of Python’s standard random
  • libproofofwork: a library for CTF to search strings which have given hash values
  • google-home-say: a script to let Google Home say arbitrary words
  • longcontest-visualizer-framework: a framework to make web visualizers for Marathon Match contests
• no longer supported:
  • topcoder-marathon-match-rating-predictor: a user script to predict changes of ratings of Topcoder Marathon Match
  • etc.

Contents of This Site

• blog posts
  • /blog
• writeups for problems of competitive programming or CTF
  • /writeups
  • search: