エンジニア / フロントエンドエンジニア 経験年数 : 2年
エンジニア / バックエンドエンジニア 経験年数 : 2年
ライフスタイル・その他 / その他 経験年数 : 7年
Excel 経験年数 : 11年
PowerPoint 経験年数 : 11年
Word 経験年数 : 11年
Google スプレッドシート 経験年数 : 5年
Google スライド 経験年数 : 5年
Google ドキュメント 経験年数 : 5年
C 経験年数 : 4年
CSS 経験年数 : 2年
HTML 経験年数 : 2年
Java 経験年数 : 3年
Python 経験年数 : 5年
SQL 経験年数 : 2年
中学校教諭免許 取得年:2014年
高等学校教諭免許 取得年:2014年
Oracle認定JavaプログラマSE 7 Silver 取得年:2022年
私立中高一貫校 2016年4月 〜 2022年12月
・教諭 2016年4月 〜 2022年12月
【教科指導について】 ・定義をもとに論理的推論に基づいた論述指導に力を入れてきました。 ・個々の生徒たちの学力に合わせた指導を行ってきました。 【教科外指導について】 ・大学進学における面接指導、小論文指導も行ってきました。 【実績】 上位大学進学を希望する中学生の先取り数学指導において論理的な記述力の定着に尽力し、多くの生徒が式や値の羅列ではなく、論理で組まれた記述回答が書けるようになりました。 学力不振の生徒に対して、授業外に各個人の到達度に合わせた個別指導を行い、最終的に希望する理系大学の進学を果たしました。
テックパートナー企業 2023年2月 〜 2025年1月
・技術部 / エンジニア 2023年2月 〜 2025年1月
モダンテック企業 2025年2月 〜 現在
・研究開発部 / エンジニア 2025年2月 〜 現在
フルスタックエンジニアとして勤務
国立大学大学院 理工学研究科・数理情報科学専攻 / 修士 / 2014年4月 〜 2016年3月
大学院での専攻は記号論理学で、第一階述語論理の形式的体系について証明図を用いてその性質を研究していました。 数学的証明とは、論理的推論の積み重ねです。記号論理学を専門とする人たちは、これらの証明や推論を数学的に調べるために単純な数学的明言を記号化して、複雑な数学的明言をそれらの記号と論理記号からなる記号列としてとらえ、論理的推論は記号列に対する操作と捉えています。この様な一群の記号と記号列、それらに対する操作の規則集を形式的体系といい、記号列の操作過程を明記したものを証明図といいます。