Software

Jin SANO は， プログラミング言語の理論や設計に興味を持つソフトウェアエンジニアです． 詳細なプロフィールや他のプロジェクトについては， GitHub プロフィールをご覧ください．

私が頻繁に使用するプログラミング言語は， OCaml, Haskell, TypeScript (including React as a framework), Elm, C/C++, Python, Rust, Golang, Java などです．

現在公開中のプロジェクトの一部を以下にリストします． これらのコンテンツは全て個人的な取り組みであり， 所属する会社，組織とは全く関係ありません．

lambda-gt-alpha

URL: https://github.com/sano-jin/lambda-gt-alpha

$\lambda_{GT}$ (Lambda GT) はグラフを不変の第一級データ構造として扱う世界初の純粋関数型プログラミング言語です． この言語は， グラフ変換に基づくパターンマッチング機構を備えており， 複雑なデータ構造の操作や変換を宣言的に行うことができます．

このプロジェクトは， $\lambda_{GT}$ の世界初の実装であり， OCaml で実装された$\lambda_{GT}$ のリファレンスインタプリタを提供しています．

express-beamer

URL: https://github.com/sano-jin/express-beamer

LaTeX の Beamer クラス向けに， モダンで洗練されたテーマを提供するプロジェクトです． Metropolis よりも視認性に優れたデザインを目指しています． 視認性に優れつつも視覚的に魅力的なプレゼンテーションを作成することが可能です．

bussproofs-html

URL: https://github.com/sano-jin/bussproofs-html

HTML 上で LaTeX のbussproofsスタイルの証明木をレンダリングするための JavaScript エンジンです． これにより， ウェブ上で美しい証明木を表示することが可能となり， 教育資料や論文のオンライン公開や，ウェブ技術を用いたスライドの作成などに役立ちます．

以下が主な特徴です．

• KaTeX との統合による高品質な数式表示．
• シンプルなスクリプトの導入で容易に使用可能．
• markdown-preview.nvim への統合による， neovim でのプレビューにも対応．
• marp においても利用可能で， スライドにおいて証明木を簡単に書ける．

satysfi-footnote-scheme-ext

URL: https://github.com/sano-jin/satysfi-footnote-scheme-ext

SATySFi ドキュメント内で， ページ下部にフローティングボックスを配置する機能を提供するパッケージです． SATySFi は高品質な組版システムですが， 標準では図や表をページ下部に固定配置するための柔軟な制御が困難です． 本パッケージを用いることで， 図表などをページ下部に美しく配置することが可能となります．

lmn-alpha

URL: https://github.com/sano-jin/lmn-alpha

LMNtal はグラフ構造を直接操作する新しいパラダイムを探求する， グラフ書き換え理論に基づくプログラミング言語です． このプロジェクトは， プログラミング言語の設計と実装に関する研究や教育目的で作成されており， LMNtal の最小限のコンパイラとランタイム環境を提供します．

meetup-town

URL: https://github.com/sano-jin/meetup-town

TypeScript， WebRTC， Node.js， React を活用して開発された， シンプルなオンライン会議用ウェブアプリケーションです． このアプリケーションは， ブラウザ上で直接動作し， ユーザーが追加のソフトウェアをインストールすることなく， リアルタイムのビデオおよび音声通信を可能にします． オープンソースであるため， 開発者は自身のニーズに合わせて機能を拡張できます．