スキルとかをまとめたやつです 一部情報は伏せてあるのでそういうのは直接聞いてください
| key | value |
|---|---|
| Name | myuon |
| Blog | The curse of λ |
| @myuon_myon |
設計と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の勉強(社内勉強会等)
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent