将己さんの全プロフィールを今すぐ閲覧Wantedlyは、200万人が利用する働く人のためのネットワーキングサイトです。Wantedlyが許可無くFacebook等へ投稿することはありません。紹介文アルゴリズムや言語処理系など理論が好きですが、ハードウェアやWebなどにも広く興味があります。最近はプログラミングRustにハマっています。Rustに関しては主に以下の活動をしています。・Rustコンパイラのバグを報告したり、バグの修正を投げたりする。https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&q=involves%3AqnighyこのさきやってみたいことRust2020年は、業務でRustを使える環境整備をがんばります。中高生向けの非受験特化型講座である「K会」にて情報科学とプログラミングを教えていました。通年講座の設立に関わり、教材一式を執筆しました。技術インターン5日程度の短期インターンで、Webサービスを作る手伝いをさせてもらいました。認証・認可を中心とした様々なWeb技術を扱う会社でアルバイトをさせてもらっていました。呼ばれる種類の問題を解きます。余帰納法や余代数について、形式的検証や型理論への応用を念頭に研究していました。考えていたテーマが行き詰まってしまいましたが、余帰納法に関連したテーマとして、ストリーム定義のproductivityという性質の自動検証に関する研究にシフトすることになりました。このテーマで会議等に通すことはありませんでしたが、修士課程を無事に終えることができました。拡張に対するメタ的な解析を行いました。余帰納法は数学的帰納法と裏表の関係にある証明手法で、計算機科学分野でよく使われています。