スキルとかをまとめたやつです 一部情報は伏せてあるのでそういうのは直接聞いてください

設計とWeb技術と定理証明系がおそらく得意

• 日本語
  • ネイティブ
• 英語
  • 技術文書・ドキュメントを読み書きするのにあまり困らない程度
  • ネイティブとの英会話もある程度可

• Haskell
  • 2012年ごろ~
  • GHCのドキュメントを読んだり言語拡張を追ったり
  • ゲーム・アプリケーション・ライブラリ開発等
• Rust
  • 2017年ごろ~
  • 動画編集ソフト
  • レイトレーシングへの入門
• Go
  • 2019年ごろ~
  • 主にAWS Lambdaを書く用途
• Node.js/TypeScript/Reason ML
  • フロントエンドを書いたり簡単なサーバーサイド書いたりする用途として
  • ES6あたり以降限定
• その他触ったことある言語等
  • Scala, Python, Java

• フロントエンド
  • Vue.js関連(Vuex, Vuetify/Elementあたり)
  • Reactも少し
  • CSSも基本的なことは分かるが基本的にUIはフレームワーク頼り
• サーバーレス関連
  • AWSがメイン: Lambda, API Gateway, S3, DynamoDB, SQS, Cognito, StepFunctions, Amplifyあたり
  • Firebaseも触ったことはある
  • Serverless Framework, Apex+Terraform
• データレイク系(Web技術ではないが…)
  • Athena, Glue(EMR)あたり
  • 分散処理自体に詳しいわけではない(SparkとかHadoopそのものは分からない), あくまでAWS使ってログ変換などする用途として

• Isabelle
  • 2014年ごろ~
  • Isabelle風のProof Assistantの開発・ブログ記事の連載
  • Software Foundations1巻
  • λ計算のsemanticsの形式化
  • ブロックチェーンプロトコルの検証へのcontribute
• Coq
  • 圏論ライブラリの開発
• Agda
  • Martin-Lof type theoryの勉強として
• LEAN2
  • 触れた程度

• 設計を考えること
• リファクタリング・コードレビュー
• 技術の勉強全般
• Computer Scienceを生かす方法を考えること？

• プロジェクトマネジメント
• 運用関連
• コンテナ技術
• AWSの特にEC2方面
• チーム開発とかアジャイルとか

早生まれではない方

理学研究科(数学科)計算機科学専攻 修士

職務: アーキテクト&アプリケーションエンジニア

• マイクロサービス設計・開発
• AWSの勉強(社内勉強会等)