自己紹介 - quantified-qnighy基本データ åå‰: 原 将己 (Masaki Hara) 誕生日: 1993/05/31 所属: æ±äº¬å¤§å¦ ç†å¦éƒ¨ æƒ…å ±ç§‘å¦ç§‘ 基本データ ãã®2 ãƒãƒ³ãƒ‰ãƒ«ãƒãƒ¼ãƒ : qnighy Twitter: @qnighy Github: qnighy Blog: ç°¡æ½”ãªQ 発表スライド: Slideshare / Speakerdeck 基本データ ãã®3 OS: Windows8ã®ä¸Šã«Xubuntu (VMware) エディタ: vim 好ããªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž: Coq よã使ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž: Ruby, C++ 好ããªã‚½ãƒ¼ãƒˆã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ : heap sortã¨bitonic sort 好ããªã‚¸ãƒ£ãƒ³ãƒ«: TSF 主ãªçµŒæ´ å›½éš›æƒ…å ±ã‚ªãƒªãƒ³ãƒ”ãƒƒã‚¯(IOI) 2010年カナダ大会 金メダル(300人ä¸16ä½ã‚¿ã‚¤) å›½éš›æƒ…å ±ã‚ªãƒªãƒ³ãƒ”ãƒƒã‚¯(IOI) 2011年タイ大会 銀メダル(302人ä¸28ä½ã‚¿
Ground Truth
{{#tags}}- {{label}}
{{/tags}}