https://github.com/myuon/myuon

About me
https://github.com/myuon/myuon

Last synced: 3 months ago
JSON representation

About me

• Host: GitHub
• URL: https://github.com/myuon/myuon
• Owner: myuon
• Created: 2019-02-02T02:10:39.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-02-02T02:13:07.000Z (over 6 years ago)
• Last Synced: 2025-02-21T12:03:02.036Z (4 months ago)
• Size: 1.95 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# myuon

スキルとかをまとめたやつです

一部情報は伏せてあるのでそういうのは直接聞いてください

## 基本情報

|key|value|

|--|--|

|Name|myuon|

|Blog|[The curse of λ](https://myuon.github.io)|

|Twitter|[@myuon_myon](https://twitter.com/myuon_myon)|

## スキル

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

### 自然言語

- 日本語

  - ネイティブ

- 英語

  - 技術文書・ドキュメントを読み書きするのにあまり困らない程度

  - ネイティブとの英会話もある程度可

### プログラミング言語

- Haskell

  - 2012年ごろ~

  - GHCのドキュメントを読んだり言語拡張を追ったり

  - ゲーム・アプリケーション・ライブラリ開発等

- Rust

  - 2017年ごろ~

  - [動画編集ソフト](https://github.com/myuon/madder)

  - [レイトレーシングへの入門](https://github.com/myuon/ruyt)

- Go

  - 2019年ごろ~

  - 主にAWS Lambdaを書く用途

- Node.js/TypeScript/Reason ML

  - フロントエンドを書いたり簡単なサーバーサイド書いたりする用途として

  - ES6あたり以降限定

- その他触ったことある言語等

  - Scala, Python, Java

### Web技術系

- フロントエンド

  - 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の開発・ブログ記事の連載](https://github.com/myuon/claire)

  - [Software Foundations1巻](https://github.com/myuon/isabelle-software-foundations)

  - [λ計算のsemanticsの形式化](https://github.com/myuon/typed)

  - [ブロックチェーンプロトコルの検証](https://github.com/LayerXcom/cbc-casper-proof)へのcontribute

- Coq

  - [圏論ライブラリの開発](https://github.com/myuon/CatQ)

- Agda

  - Martin-Lof type theoryの勉強として

- LEAN2

  - 触れた程度

### 好きなこと

- 設計を考えること

- リファクタリング・コードレビュー

- 技術の勉強全般

- Computer Scienceを生かす方法を考えること？

### 経験は浅いが頑張っていきたいこと

- プロジェクトマネジメント

- 運用関連

- コンテナ技術

- AWSの特にEC2方面

- チーム開発とかアジャイルとか

## 経歴

#### 1993- 生まれ

早生まれではない方

#### 2016/04-2018/03 某大学大学院

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

#### 2018/04- 某社

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

- マイクロサービス設計・開発

- AWSの勉強(社内勉強会等)