ID:64532さん
あなたを気にしている企業
- ログラスがID:64532さんのレジュメを見ています。2026.04.22
- SALESCOREがID:64532さんのレジュメを見ています。2026.04.22
- Works Human IntelligenceがID:64532さんのレジュメを見ています。2026.04.21
- LegalOn TechnologiesがID:64532さんのレジュメを見ています。2026.04.21
- MBKデジタルがID:64532さんのレジュメを見ています。2026.04.21
- ハイウェイがID:64532さんのレジュメを見ています。2026.04.21
- GOがID:64532さんのレジュメを見ています。2026.04.21
- AVILENがID:64532さんのレジュメを見ています。2026.04.21
キャリアビジョン
実装にとどまらず、形式的な検証も通じて堅牢なアプリケーションを作れるエンジニアを目指しています。
保守業務の難しさを実感した経験から、実装だけでなく、より高い抽象度で品質や正しさを担保するアプローチに関心があります。将来的には、堅牢なアプリケーション開発に取り組みたいです。あわせて、後進育成や技術的な改善の牽引を通じて、チーム全体の開発力や品質向上にも貢献したいと考えています。 品質向上を通じて、特に次のような形で貢献したいと考えています。 - 不具合の混入を未然に防ぐ - 安定稼働を支える - 継続的な機能追加や改善を進めやすくする - 顧客からの信頼向上や競合との差別化につなげる - 後進育成を通じてチーム全体の開発力を底上げする 関心のある領域は次の通りです。 - 静的型付けを活かした設計・実装 - 形式的な考え方を取り入れた品質担保 - Lean や TLA+ などの形式的手法 - 技術知見の共有や後進育成
プロジェクト経験
プロジェクトカテゴリ
担当工程
経験した職種・役割
あなたが実際に使っていた技術
このプロジェクト詳細は公開されていません
プロジェクトカテゴリ
担当工程
経験した職種・役割
あなたが実際に使っていた技術
このプロジェクト詳細は公開されていません
プロジェクトカテゴリ
担当工程
経験した職種・役割
あなたが実際に使っていた技術
このプロジェクト詳細は公開されていません
プロジェクトカテゴリ
担当工程
経験した職種・役割
あなたが実際に使っていた技術
このプロジェクト詳細は公開されていません
マネージメント能力
アピール項目
アウトプット
GitHub アカウント
あり
Qiita アカウント
未入力です
Zenn アカウント
未入力です
Speaker Deck アカウント
未入力です
SlideShare アカウント
未入力です
特にアピールしたいアウトプット
あり
今後、身につけなければいけないと思っている技術は何ですか？
AIによって開発スピードが大きく向上しているからこそ、今後は品質をどのように高めるかがより重要になると考えています。
そのため、静的型付けを活かした設計・実装や、形式的検証によって不具合の混入を未然に防ぐ技術を身に付けたいです。
具体的には、Haskell のような表現力の高い言語の習熟に加え、TLA+ や Lean を用いた形式的な検証にも触れていきたいと考えています。
あなたが一番パフォーマンスを出せるのはどんな環境ですか？
可読性・保守性を重視した開発ができ、技術的な改善提案が歓迎される環境で最もパフォーマンスを発揮できます。加えて、互いの意見を肯定ベースでやり取りできる心理的安全性のあるチームだと、安心して議論や改善提案ができ、より良い成果につながると考えています。
生成AIの活用状況
キャラクター
やりたい事
基本プロフィール
年齢
今年で30代中盤
好きなテキストエディタ
Vim
希望勤務地
東京都 / リモート勤務
集まる必要性がない場合は基本リモートが許可される環境が必要
希望年収
800万円
ご意見箱
要望、不具合報告、使いづらい点や感想など、お気軽にお寄せください。
いただいたご意見は、今後のサービス向上に活用させていただきます。
なお、このフォームは受付専用のため、返信を行っておりません。
返信を希望する場合はお問い合わせよりご連絡ください。
- {{error}}