読み物一覧

NO IMAGE

大学を卒業できそうなので大学生活を振り返るやつ

なんか大学を卒業できそうなので大学生活を振り返るやつをします。 B1 京大は入学するとビラロードとかいうクソみたいなところを歩かされるんですが、そこをビラ 1 枚で通り抜けるなどしていました。 プログラミングの記憶はほとんど無いけど、鼻くんとかを使ってプログラムを書いていた気がします。 もしかしてカオスの坩堝はこの学年で作っ...

NO IMAGE

2020年のまとめ

2020 年にやっていたことを雑にまとめる。 1 月 未踏で VSP の開発をしていた。KVSP の基幹部分である準同型暗号ゲートの評価エンジン Iyokan を 1 月 13 日あたりから書き始める。当時並行で、ユーザーインタフェースの kvsp コマンドも作っていた。いまの KVSP のベースは、おおよそこのあたりで形作られていく。 @nindanaoto が TFHEpp を書...

そのクラウド、信用できますか? 〜プログラムを暗号化したまま実行する〜

この文章では「2019年度未踏IT人材発掘・育成事業」に採択された 「準同型暗号によるバーチャルセキュアプラットフォームの開発」について解説します。 可能な限り事前知識を仮定せずに書きましたので、ぜひご一読ください。 なお表示上の執筆者は「艮鮟鱇」となっていますが、実際の執筆はプロジェクトの採択メンバー全員に よります。 「クラウド」という言葉が市民権を獲得して久しくなりました。 一口に「...

ISUCON9 参加記

TL; DR: 初参加にしては頑張ったので褒めてほしい。 ISUCON9に参加したので、大会前と大会中と大会後に何やったかを書く。 開催前 @_nemohemと@fplwdが ISUCON9のメンバーを募集していたので「入れて入れて〜」と言って入れてもらう。まともなWebサービスの運営はほぼ経験が無いが、「知識を得ることが目的」とのことだったので、気軽に参加した。 気軽に...

「サイゼリヤで1000円あれば最大何kcal摂れるのか」を自作CPU上で解いてみた

サイゼリヤに1000円を持って食事に言ったとき、どの料理を頼めば最大何kcalの食事をすることができるかを、FPGAに構築した自作CPU上で計算しました。 自作CPU 学校の演習課題としてFPGA上でCPU(プロセッサ)を作成しました。具体的には、PowerMedusaボードを利用し、このボード上にあるFPGAをVerilogを用いてプロセッサとして動作させました。 5段パイプラインや簡易的な...

NO IMAGE

ブージャム

目の前のベンチには一人の女性が座っている。イギリスのストーンヘンジを模したモニュメントが中心にある広い公園で、普段は子供が大勢遊んでいるのだが、今日は天気も不安定であたりに人気はなかった。少し前まで、この女性のボーイフレンドらしき人物がベンチに一緒に座っていたが、今はここにはいない。 私は今、さっき目撃した驚くべき現象をこの女性に伝えたいと思っている。といっても私はもうかなりの回数それを見...

NO IMAGE

隙あらば自分語り(2)

2月の頭に大学が事実上の春休みに入ってから、起きている時はほとんどずっとパソコンに向かっている。わたしが主に使っているパソコンは2台あるけれど、どちらもDropboxで同期されているから、やっていることは似たようなものだ。画面にはターミナルとエディタとブラウザ。わたしのパソコンを覗き込むことがある人には知っておいてほしいのだけど、こういう画面になっているとき、わたしは大抵プログラムを書いている。話...

NO IMAGE

イントロクイズWebアプリ Mioをつくった

こんばんは。とある方から「コンテンツ主義じゃない?」と言われて少し落ち込んでいる艮鮟鱇です。コンテンツ主義なので、新しいコンテンツを作りました。仲間内で簡単にイントロクイズで遊ぶ環境を構築できる Webアプリ Mioです。レポジトリはこちらです: 友だちに「イントロクイズ作って欲しいんだけど」と打診を受けて作りました。 Webアプリはこれまでほとんど作ったことが無かったので暗中模索でしたが、...

はりぼて自作OCamlコンパイラAQamlでセルフホストしてみた

おじさん1なにしたの はりぼて自作OCamlコンパイラを書いてセルフホストを達成しました2。コミットログによると、11月から開発を始めて3およそ2ヶ月くらいかかったようです。レポジトリはこちら4: 文字列・リスト・タプル・レコード・バリアント・参照などの基本的なデータ構造5と、 if・for・パターンマッチ・let・相互再帰関数・クロージャなどの基本的な制御構造6が実装されています。 ...