public_yusuke

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

アカウントなど

rvvvvvvvvvvvvvvvvvvvvvvvq
b                       d
b   public              d
b         @      .pub   d
b          yusuke       d
b                       d
tvvvvvvvvvvvvvvvvvvvvvvvj

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

内部状態が可視化された SMT ソルバーの制作 GitHub リポジトリ Scrapbox

EUF の congruence closure algorithm の様子を DOT 言語で吐き出せるようにした SMT ソルバー

EWSParserApp GitHub リポジトリ

緊急警報信号（ｐｒｐｒ音）を解読するための Android 用アプリケーション

内部状態が可視化された SAT ソルバーの制作 GitHub リポジトリ Scrapbox

CDCL での implication graph の様子を DOT 言語で吐き出せるようにしました

などなど……。（もっと見る）

書いたもの

• WORD 52 号 興味深い道と場所
• WORD 51 号 Coq の基礎の基礎
• WORD 入学祝い号 2021 例のピロピロ音をスマホでデコードしよう
• WORD 49 号 自作 SAT ソルバー制作記

やったこと

• セキュリティ・キャンプ全国大会2022 オンライン 参加 公式サイト
  • X4 無線通信ハッキングゼミ
• PCK2019プログラミング部門本選出場（AはDPのA） 公式サイト
  • チームメイト: @season1618, 自分
• JOI2018 予選 331 点 B ランク（敢闘賞）

資格

• 英検準一級
• 応用情報技術者試験（AP）
• 第3級アマチュア無線技士
• 普通自動車第一種運転免許

好きなこと・もの

• 競技プログラミング
• ゲーム
  • 弐寺
    • SP 8 段
    • DP 7 級
  • jubeat
  • Minecraft
  • L4D2
    • Lewd4Dead
  • 麻雀
• アニメ
  • ステラのまほう
  • まちカドまぞく
• コンピュータ

相互リンク集

• Azumabashi
• Nakaya

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