SHIINBLOG

日記的なもの

楽しい楽しい SAT符号化

琉大情報工学科(知能情報コース) Advent Calendar 2018 10日目の記事です. SAT 符号化についてまとめているところが無くて,とても苦労したのでまとめておく. SAT符号化とは,制約充足問題や制約最適化問題などを SAT 問題(充足可能性問題:Satisfiabili…

親知らず4本 一気に抜歯した

人生初めての入院・全身麻酔が親知らずの抜歯だった. 9/6 くらいに歯茎が腫れて? 噛み合わせると歯に挟まれて痛い状態に… 歯肉炎…? 歯医者さんに行ってみると, 「親知らずのせいで歯茎が腫れてますね〜 ここでは抜けないので口腔外科行ってくださいね」 …

Fitbit blaze が届いて1ヵ月

9/29 に Fitbit blaze が届いた. Sony の SmartBand 2 を持っていたんだけど,なくしてしまったので 買ってみた. 中身はこんな感じ. 他にもバンドから外さずに充電できるスタンドとかも買った. 時計の見た目もいくつか選べるんだけど, 時間,日付・曜日が読…

rcファイル等の共有

Mac Miniが来たので,zshrc等のrcファイルを共有したい! 共有の方法は,githubを介したり,dropboxであったりいろいろ考えついた。 その中でも一番楽そうなdropboxを使用してやってみる。 まず,Macにdropboxのアプリを入れており,常に同期している事が前…

Mac Mini!

家での作業効率UPの為に! Mac Miniを買いました! そして届きました(*´艸`) 開封の儀 本当にぴったし入ってて,ちょっと取り出しづらい。 キーボード格好良い。 とりあえずのセットアップ終わり! これから,zshrcなんかを共有できるようにするぞー