[Japanese description follows. 下に日本語版もあります]

Hi! I'm Nikosai from Tokyo, Japan.
I'm a master's student majoring in Computer Science (especially in Programming Languages).
Besides, I'm working on OSSs to train my skills.

Main Work — Lambda Friends

I've developed several Web apps with TypeScript + Node.js + Webpack.
Among them, the app named "Lambda Friends" is my biggest work.

Lambda Friends is a web-based interpreter untyped & simply typed lambda calculus.

• published with MIT License
• written in TypeScript + Webpack, 4400 Lines of Code
• Used for education in a required lecture for undergraduates of the Department of Computer Science

And I will mainly work on the following features:

• Supporting the simply-typed lambda calculus
  • To be honest, this is already implemented, but I don't think it's enough and the mode is hidden for now.
  • In particular, I want to show the derivation tree of types. It might be better if we can see the trees immediately and interactively on the webpage, while current implementation can output LaTeX codes of the trees.
• English version
  • Currently, this software is provided only in Japanese. I strongly want to translate it into English, but this requires hard-working since the software is implemented with raw HTML and I should move it into some modern framework (e.g., React) to implement switching languages.

I want to continue working with this, but it becomes harder because the code is too large for me to keep updated as a hobby.

So, I want you to be a sponsor.

Interests

Furthermore, I'm interested in almost anything (whether it is directly related to Computer Science or not).

In particular, I'm interested in the followings:

• Lambda Calculus
  • describing lambda terms as (hyper-)graphs
  • visualizing reduction graphs
• Mathematical Logics
• Education with online judge systems
• Others
  • Classical Music (J.S.Bach, F.Mendelssohn, etc.)
  • Editing (Proofreading) & Design

日本語版

皆さんこんにちは。現在情報系の修士課程（プログラミング言語を専攻）に在学中のNikosaiです。
研究の傍ら、スキル向上も兼ねてOSSの開発に取り組んでいます。

主なソフトウェア ― らむだフレンズ

これまでTypeScript + Node.js + Webpackでいくつか開発をしてきました。
中でも、「らむだフレンズ」が私の最大の仕事です。

らむだフレンズは、Web上で動く（型なし・単純型付き）ラムダ計算のインタプリタです。

• MIT ライセンスで公開
• TypeScript + Webpackで約4400行のコード量
• 情報系の学部生向けの必修講義で、実際に教育目的で使用されている

今後は、主に以下の機能拡張に取り組むつもりです：

• 単純型付きラムダ計算への対応
  • 実は既に実装済みなのですが、満足の行くものではないので現在は一旦機能を隠しています
  • 特に、型の導出木（証明木）を出力する機能を追加したいと思っています。現実装でも一応LaTeX形式で出力する機能はあるのですが、そうではなく、Webページ上で直接・インタラクティブな形で表示できるようにしたいと思っています
• 英語版
  • 現在は日本語版のみですが、英語にも翻訳したいと強く思っています。ただ、現状の実装は生のHTMLで書かれているので、これを実装する前に出来ればReactなどのモダンなフレームワークへ移行したいと思っています

私自身この仕事は続けていきたいのですが、ソースコードが肥大化しつつあるので、趣味として続けるのは少し厳しい段階に入っています。
そこで、スポンサーを募集することとしました。

その他興味分野

計算機科学まわりに限らず、様々なものに興味があります。

特に、次のようなことに興味があります：

• ラムダ計算
  • ラムダ項を（ハイパー）グラフとして表現する
  • 簡約グラフを可視化する
• 数理論理学
• オンラインジャッジを用いた教育
• その他
  • クラシック音楽 (J.S.バッハ, F.メンデルスゾーン, etc.)
  • 編集（校正）・デザイン

以上の他に、趣味などの情報は私のホームページにまとめてあります。