Skip to content
View Seasawher's full-sized avatar
🦈
You must have cute sharks!
🦈
You must have cute sharks!

Sponsors

@pogin503

Organizations

@lean-ja

Block or report Seasawher

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Seasawher/README.md

HELLO WORLD

🌱 About me

Hello! I'm Asei Inoue (井上亜星 in Japanese).

I studied mathematics at Kyoto University and earned my Master's degree on Mathematics at RIMS (Research Institute for Mathematical Sciences Kyoto University).

I am currently learning about Lean language. The Lean language would bridge pure mathematics and computer science, creating a new mathematical community. My ambition is to make Lean, after TeX, the programming language known to all mathematics graduates.

To this goal I was involved in setting up a community called lean-ja. My main interest at present is to enrich Lean's Japanese documentation.

I am looking for people and companies to sponsor my OSS!

🌵 My Histroy

  • 2016.04-2020.03: Kyoto University, Bachelor of Science
  • 2020.04-2022.03: Kyoto University, Master of Science (Mathematics)
  • 2022.04-2024.01: a job in the software industry(1st company)
  • 2024.02-now: a job in the software industry(2nd company)

🤵‍♂️ Talks

📚 Publications

📊 Stats

Anurag's GitHub stats

🖐️ My Past OSS Contributions

GitHub Action for Lean

Readme Card Readme Card Readme Card

Lean Textbook, Tutorial

Readme Card Readme Card

Lean Reference

Readme Card Readme Card Readme Card

Lean articles

Readme Card

Lean Application Library

Readme Card Readme Card Readme Card Readme Card

Translation of Lean documents, Articles

Readme Card Readme Card Readme Card

Lean Math Library

Readme Card

Traditional Math

Readme Card

📫 Contact me

  • Please use Discord for private discussions. seasawher is me.

Acknowledgment 🙇

Pinned Loading

  1. lean-ja/lean-by-example lean-ja/lean-by-example Public

    コード例で学ぶ Lean 言語

    Lean 83 9

  2. InterpreterBook InterpreterBook Public

    「go 言語でつくるインタプリタ」の Lean によるノート

    Lean 3 1

  3. lean-ja/lean99 lean-ja/lean99 Public archive

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)

    Lean 15 3

  4. graduate_exam graduate_exam Public archive

    京都大学数学系の院試の問題と解答です

    TeX 52 5