この記事は Kobe University Advent Calendar 2017 - Adventar 17日目の記事です。 1年ぐらい前にC3というSMTソルバをC言語でスクラッチから作ったので、その話でもします。 よりによってなぜSMTソルバをCで書いたかというと、若気の至りでハイパーバイザに組み込んだりして遊んでたからです。 ゲストシステムの検証をランタイムにしてくれる超軽量なハイパーバイザあったらカッコイイじゃないですか。 という割と適当な理由で作ったんですが、労力に対する成果があまりにも見合わなさすぎて、今はアプローチを変えています。 そういうわけで過去の遺物から生まれたC言語製SMTソルバC3なのですが、このままお蔵入りさせるのも何なのでコードの解説とかSMTソルバがどうやって動いてるのかみたいな話をしてみます。 あ あと、私は一介の情報系学生で論理学徒ではないので、ところ

今を遡る25年と少し前、駒場には900番教室というのがあった。 https://www.youtube.com/watch?v=5wLaND09VF8 そこで確か火曜2限に見田宗介先生は社会学を講じていらっしゃった。当時、僕には見田先生の凄さというのは分からず、ただ、クラスのシケ対が回してくれる「教官閻魔帳」のようなものを見て「何か出せば基本的に「秀」以上をくれるホトケの見田」というフレーズに惹かれて受講登録をした。9割がた僕のような学生だったから広大な900番教室はいつもがら空き、最前列に「信者」と呼ばれた社会学徒が陣取って深く頷く、その不思議な様子を、2階席の遠くから、眠い目で眺めていた。 * 僕は駒場に3年いた。2回生を2度やった。 いろんな事情があったのだけれども、祖母のアルツハイマーというのは僕に個人史を深く振り返らせてくれた。1923年に生まれた彼女はなぜ50年後に僕に血をつな

航空自衛隊のF-15J戦闘機はその約半数が近代化改修を済ませ、今後も長年にわたり使用されると見られますが、残りの半数についてはそれが困難な状態となっています。同じF-15で、なぜ差がつくのでしょうか。 数が多いぶん深刻なF-15Jの改修問題 2017年現在、航空自衛隊が201機保有する主力戦闘機、F-15J「イーグル」の性能陳腐化が深刻な問題となりつつあります。自衛隊パイロットですら「近代化改修を行っていないF-15で現代戦を戦うことは非常に厳しい」といった声を漏らしています。 現在、航空自衛隊ではF-4EJ改「ファントムII」を新しいF-35A「ライトニングII」へと機種更新を進めていますが、現時点においてF-35Aの調達数は42機に過ぎず、今後も日本の防空を担う主力はF-15Jです。その主力戦闘機F-15Jにいったい何がおきているのでしょうか。 F-15J全体の約半数を占め改修困難とい

年間売上高が1000万円以下のフリーランスが消費税を請求するのは不正行為なのかどうかを解説します。結論から言うと企業が下請に消費税分の値下げを強いることは違法行為なので、お互いのために消費税の請求はするべきです。 とうじょうじんぶつ 阿豆らいち： フリーランス20年のクリエイター。下記の漫画は10年前くらいの出来事。 クライアントの担当さん： 実在の人物とは大幅に違います。 フリーランスも消費税を請求していいの？ 日本で消費税が導入されてまだ10年程度の頃のお話です。 ※当時は消費税が5％でした。 今ではこんなこと言ってくる企業も少なくなりましたが、当時でも面と向かって言われてたまげました。そんじゃ御社は社員旅行先の宿が個人経営なら消費税の支払いを拒否すんのかよ…。 受け取った消費税は全額納付するの？ 納付税額は原則課税では「売上にかかる消費税額」から「仕入れや経費にかかった消費税」を引い