定理証明コンテストに参加した [WIP]

競プロ

TODO多めのまま公開します。別に書いてた下書きが消えたので。定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日これです。定理証明コンテストとは, 定理…

2019-06-29

ズボラな一文字aliasコマンド集

知見開発

京都はクソ湿度が高くて気力が出ないです。そんなズボラな状態でもコマンドは叩けるようにようにしておきたいものです。 alias集 l='ls -CF' ただ，zshの設定で空コマンドでEnterするとlsになっている。 v='vim' 必須 s='less' LESSに環境変数をつけていな…

2019-06-13

サイコロで行く京都市バス桃鉄風すごろく大会

旅行開発

こんにちは。京都市バスの地図を見た時，考えることがあると思います。サイコロを振ってすごろくをすると楽しいのではないかと。というわけで，京都市バスの1日乗車券を用いて，リアルすごろくを行いました。(去年の夏) ルール目的地バス停を決定する。 …

2019-06-13

ググり方が難しいシェル(bash/zsh)周りの小ネタ集

開発

固まったsshから強制に抜ける Enterしてから~. ~?でヘルプが出る描画の壊れたターミナルを治す stty sane コマンドで治る書きかけのコマンドを保持する Ctrl-Qでバッファをスタックする。新しいプロンプトを出すと復帰する。前回のコマンドの一部を書き…

2019-05-10

debian6しか使えなくてapt-getもできなくてhttpsができない日の対策

知見開発

悲しいが，SSLを無効化するしかない… wgetのSSL無効化というかこれは証明書の無視ですね。あとで気づいた。 $ echo "check_certificate = off" >> ~/.wgetrc git clone https://~がコケるので，git@github.comに書き換える url."git@github.com:".insteadOf…

2019-05-08

SpotlightはApplicationsにおいたSymbolic Linkのアプリを出さないので，AutomatorでShell Scriptを実行するアプリを作成すると良い

知見

Spacemacsをmacにインストールすると，Applicationsにシンボリックリンクを作れ，という指示が出る。 $ ln -s /usr/local/Cellar/emacs-plus/26.2/Emacs.app ~/Applications/Emacs.app これはSpotlightに読み込まれない。手軽に起動できない。回避するには…

2019-05-02

mRubyの動くLED時計をESP32で作る [後編]

開発

wass80.hateblo.jp の後編です。 mRubyで時計のプログラムを書けるようにするといっても，もくもくとAPIを実装するだけです。用意したAPIはこれだけあります。 github.com こういうプログラムをHTTPで書き込んで時計で実行できるようになりました。 i = 0 …

2019-04-30

mRubyの動くLED時計をESP32で作る [前編]

開発

マトリックスLEDでスマート時計を作る - Google スライド作ったもの LEDmatrixの時計 NTP時刻取得 HTTP GETで情報を受けられる mRubyのプログラムをGETで入力できる概要 ESP32 ー安いマイコン LED matrix 32×32 RGB LEDマトリックス/KP-3232D/49004740230…