読みメモ読もうと思っていたRISC-V原典を読む時間が少し取れたのでざっと読みしたメモを残しておく。RISC-Vは過去のプロセッサアーキテクチャに対する反省をくりこんだ新しいプロセッサの命令セットアーキテクチャである。回路シミュレーションマルチドメインモデリング環境である、OpenModelicaを使用した電気回路のシミュレーションの例を通して、その使用感や言語的側面に触れたいと思います。想定読者としてはModelicaに触れたことがない人で、バックグラウンドとして回路シミュレーションに多少...OpenModelicaを使って電気回路のシミュレーションをしてみる2017-07-28MathJaxの試し書き2下記のお題で書く。☆5次の極限値を計算せよ。ここまで来たら何で書い...MathJaxの試し書き22017-07-26MathJax記法の試し書きはてながMathJaxに対応しているらしいので、試しに使用してみる。題材は下記の問題の解答を書くこと、としてみる。[高2鉄緑校内模試](a+b)(b+c)(c+a)=2^2016を満たす自然数の3つ組(a,b,c)は幾つあるか。2017年7...MathJax記法の試し書き2016-04-02sh/bashのパイプ/リダイレクションの使い方sh/bashのパイプ/リダイレクションの使い方についてよく使いがちなものを理解できるようにまとめておく。シェルスクリプトに書かれているリダイレクションが理解できない。Calendarにネタを提供したわけでも何でもないんだけど自宅のデスクトップPCが壊れた。具体的に言うと、HDDがクラッシュした。正確に言うと、動作真っ最中に子供がぶつかって倒してしまった。オンライン参加してきたので、Evalモナドを使った並列評価を行なってみた。ナイーブな素数探索アルゴリズムです。指定された数以上の一定個数の素数を抽出します。Wikipediaを参考に、サンプルとして、モンゴメリ乗算の計算をしてみる。169)`を計算する。1*169+29で答えは`29`です。これをあえてモンゴメリ乗算でやってみる。diary」って記事をちょっと前に書きました。DTLSのCBCモードを利用する暗号の脆弱性を突く攻撃です。Oracle攻撃の一種です。アセンブラチラ裏にでも書いてろ、って内容なので何ですが、、、C言語の変数にvolatileをつけたら値がレジスタにキャッシュされたままにならないね、と言う話を実際に確認してみました、と言う話。そのままろくに考えないでやってみます。GCなんか、最近、「車輪の再発明をしよう」みたいな話がちょくちょくあるので、GCを再発明してみた。https://twitter.com/viscuit/status/288181884658257922...まぁ、再発明っていうか、スクラッチで書いただけなんですけど。Calendarでは時間的に書けなかった、JHCのGCの解説をまとめる。JHCには下記3つのGCオプションがある。このうち、上の二つはgc_noneによる実装であり、JGCはgc_jgcによる実装である。同じ言語に対する異なる処理系があれば、GCを比べてみたくなるのは人間のサガですよね。今回はHaskellの2つの処理系のGCを比べて見ることにします。