あいあむあんどろいどえんじにあ

プログラム初心者の学生です。

初学者 拙いながらも日々の学習を記録していきます

SIer勤務のバックエンドエンジニア。2016年新卒入社。1人息子を子育て中。 技術寄りの話題が好きだが近年はプロジェクトマネジメントもやらされておりどっちつかずの生活を送っている。 育休期間中に何か始めようと思い情報のシェアと知識アウトプットを兼ねて2023/11/23からQiita利用開始。 保有資格：情報処理安全確保支援士／AWS DVA

日本IBM 東京基礎研究所 リサーチ・スタッフ・メンバー。形式検証、ロジック、定理証明とかソフトウェア工学が専門です。ブロックチェーンの研究をやったり AI フレームワークの設計・実装を手伝ったり、まあ社会人なので色々しています。 ※執筆した記事の内容は私個人の見解です。