public_yusuke

public_yusuke's icon

D 言語とコンピュータが好きです。

アカウントなど

サービス名URLまたはID
Twitter@public_yusuke
GitHub@private-yusuke
AtCoderprivate_yusuke
ブログhttps://private-yusuke.hatenadiary.jp/
メール
rvvvvvvvvvvvvvvvvvvvvvvvq
b                       d
b   public              d
b         @      .pub   d
b          yusuke       d
b                       d
tvvvvvvvvvvvvvvvvvvvvvvvj
コールサインJK1NFU

作ったものとか / 最新 3 件

内部状態が可視化された SMT ソルバーの制作 GitHub リポジトリ Scrapbox
EUF の congruence closure algorithm の様子を DOT 言語で吐き出せるようにした SMT ソルバー
EWSParserApp GitHub リポジトリ
緊急警報信号(prpr音)を解読するための Android 用アプリケーション
内部状態が可視化された SAT ソルバーの制作 GitHub リポジトリ Scrapbox
CDCL での implication graph の様子を DOT 言語で吐き出せるようにしました

などなど……。(もっと見る

書いたもの

やったこと

資格

好きなこと・もの

相互リンク集

CSS forked from https://rinsuki.net/.