type t (* void *)

関数型言語や英語学習の事とか。

OCaml: RWOを読み進めるためのOCaml設定

20150426加筆 RWOの説明を書いた 20150422加筆 より細かく書いた 20150909加筆 以下の内容はDebian 7向けに書かれており古いです! Debian 8ではより簡単にopamをインストール出来るようになっています! 下の記事では重複する部分は書きませんでしたが、イ…

レジスタ割付けにグラフ彩色を使うの微妙だなという話

レジスタ割付け コンパイラはコード生成の最後に変数(無限にレジスタがあると仮定したときの仮想レジスタ)を実際のレジスタに対応付ける、レジスタ割付けを行う。 この際には一般的にはグラフの彩色問題に帰着して解く事が多い。 彩色問題の色を使用レジス…

生活リズム改善

生活リズム見直し月間実施中です。 Twitterの時間制限 Androidアプリで、アプリの使用制限を入れるものを使い始めた。 この手のものはたくさんあると思うけど、一応URLを貼っておく。 play.google.com 制限は5分/30分と23:00 ~ 7:00の制限。PCでTwitterやっ…

技術同人誌のおかねのはなし

徒然なるままに書く側のおかねのはなしをする。技術書典限定かつねこのしっぽさんの数値を使う。

VC4CLについて

Cvim saisentan-gpu-open cl from tomoaki0705 www.slideshare.net テストケースがfailするのは大体の原因は使用変数の数がレジスタ数を超えてしまい、レジスタ割付けに失敗するから このアーキテクチャにおいてはレジスタスピルは現実的な時間で行うことは…

技術書典4: 進捗大陸03が出ます

御駱駝愛好会はサークル抽選に落ちましたので、進捗大陸に拾って頂きました。 でるよーでるよー。 進捗大陸

ML Day#1を開催しました

3/31にML_Dayを開催しました。もみあげさん@pocketburserkerに協力頂いてドワンゴの会議室をお借りました! 毎度ありがとうございます! ML Dayは前のML勉強会と名乗っていた勉強会でしたが、今回名前を変えてみました。 今回は最近関数型言語に関連する勉強…

プログラミング: パラダイムの話って良くわからないんですよね

小さな問題を分からないといい続けないでさっさと目の前の問題を解けという声が聞こえる。

C++: 本日のハマり

class A { public: int id = 0; }; class B : public A { public: B() : id(100) {} }; これエラーになる。この辺よくわかってなかった。 hoge.cpp: In constructor ‘B::B()’: hoge.cpp:7:9: error: class ‘B’ does not have any field named ‘id’ B() : id(…

プログラミング: 今日の問題

プログラミングの問題。なんか全然綺麗にかけなかったので記事にする。

きつね: キツネ村にいくぞ!!!

keenさんと話していたやつ キツネ村にいくぞ(唯一無二の目的) http://zao-fox-village.com/ キツネなんだからLLVMじゃね?開発合宿やるか https://www.amazon.co.jp/%E3%81%8D%E3%81%A4%E3%81%AD%E3%81%95%E3%82%93%E3%81%A7%E3%82%82%E3%82%8F%E3%81%8B%E…

C++: 返り値として自分自身を返すメソッドにshared_ptrを使う

#include <vector> #include <memory> #include <utility> class A { public: int x; A(int x) : x(x) {} std::shared_ptr<A> f() { return std::shared_ptr<A>(this); } }; int main() { auto a = std::shared_ptr<A>(new A(123)); auto v = std::vector<std::shared_ptr<A>>(); v.push_back(a->f()); v.push_back</std::shared_ptr<a></a></a></a></utility></memory></vector>…

OCaml: 型変数の雑い話

これはMLアドベントカレンダーの1日目の記事です。 今年で3年目のアドベントカレンダーですが、あまり埋めるということは意識せず、MLユーザが記事を書いてワイワイするという目的でやっていければいいな、という感じです。 adventar.org 1日目なのでゆる…

一般の話: 技術書典3で追記部分

技術書典3お疲れ様でした! 取り急ぎ、今回入稿した文の修正分についてお知らせします。 今回入稿したデータが間違っていたのか、印刷所が間違えたのか、私の追記部分が抜けて落ちております。 そのため最適化の部分だけPDFをアップロードしますので是非御…

一般の話: 転職します

実は8月の頭が最終出社日で、8月で今の会社を退社します。 今週から東京に引っ越しています。 東京の北の方に御用の際はぜひお立ち寄りください。 今の会社では開発環境整備とか、製品の開発を行っていました。 色々苦労してcvsからgitにした話は名古屋のLT…

プログラミング: Jetson TX2上でのarmclangの評価

ARMからv8、sve対応のHPC向けコンパイラ評価版出ましたね、、、flangのフロントエンドによってFortranも対応している、、、https://t.co/ZaOBKpgWwM— インターネットの闇 (@no_maddo) 2017年6月23日 この前魔が差してJetson TX2を買っていたので評価ができる…

Jetson TX2: CUDA_sampleが動作するまで

ファンが回ると割りとうるさい感じ pic.twitter.com/nGoZJQFgri— インターネットの闇 (@no_maddo) 2017年6月21日 こんなオタクデバイスを買ったのだけど、サンプルを動かすまで割とハマったのでメモしておく。 何一つ新しい情報はないけどまぁ他の人の時間が…

ARM: Cortex-A53の実験

計算機がわからない。 ので実験を2つほど。 追記: ろんだくん@fetburnerから「fadddとaddは同時に実行されているだろう」という指摘をうけました。 確かにALUとFPUは独立している回路なのでやってできないことはない筈です。 分岐命令の実行時間が無視でき…

ARM: Rasberry pi 3でinstruction per cycleを測ってみたが……?

更新: 全部の実験で命令の総数を揃えました。 分かりにくくてすみません…… 計算機が全くわからない。 俺たちは勘で計算している。 どなたかこの解釈について教えてほしいです。。。。。

C: マクロ定義の中にプラグマを書きたい

残の業。

OCaml: hello world!が実行されるまで

C# のHelloworldの基礎を説明できる人、弊社に一発で入社できますよ。ってかんじだ。— きょん@うさみみモード (@kyon_mm) 2017年5月16日 @func_hs 別に言語はとわないつもりですけど、 C# だとうれしい。— きょん@うさみみモード (@kyon_mm) 2017年5月16日…

一般の話: sshdに不正アクセスを試みたユーザ名を雑に調べた

ウェブコワイ。 sshdをDynamic DNSを使って自宅鯖に立てているのだけど、/var/log/auth.logをみるたび肝を冷やすので 不正アクセスを試みているユーザ名を雑に調べた。 ユーザ名を見ているとOSSのソフトウエアをインストールするとデフォで作られるユーザ名…

プログラミング: Makefileの雑い話2

ハマった X = a b c X += d e f all: echo $(X) これはmakeを叩いてみるとa b c e e fと出力される。 まぁ+=はこれで良さそう。 ちょっと直感に反している例として、make X=123みたいに 外側から与えられる場合。これは123とだけ出力される。 コレを123 d e …

一般の話: 技術書典2に本を出しました

本きれいですーうおー pic.twitter.com/jZrHDGBVvC— インターネットも届かない闇 (@no_maddo) 2017年4月9日 電子書籍販売し始めました!!! コンパイラを作って遊ぼう - nomaddo - BOOTH 技術書典2に本を出してきました。う-15 「コンパイラを作ってあそぼ…

プログラミング: shellの雑いはなし

.shからmakeコマンドを叩きたくなり、さらにその中で実行するMakefileの変数を上書きする 処理を書きたくなった。そのラップするスクリプトはどう書いたらよいだろうか。 a.c #include <stdio.h> int main() { #ifdef A printf("a"); #endif #ifdef B printf("b"); #e</stdio.h>…

プログラミング: upstreamの変更を取り込みたくない時どうすればいいのか

Git運用中に困ったので正しい回答が欲しくメモしておく。 今レポジトリupstream, originがあるとする。

プログラミング: 言語処理系ハンズオンでチューターやってきました

どうもインターネットの闇@no_maddoです。 言語処理系ハンズオンでチューターをやってきたのでその感想とかを書き綴ります。 connpass.com kmizu.github.io

プログラミング: 2017年度注目の技術

Coarray Fortran Fortranの言語拡張。ノード間の非同期通信を隠蔽するための機能が多く含まれている。 Coarrayで書いたプログラムはMPIのライブラリが結合され、 Coarrayの配列として宣言された配列に代入すると通信が隠蔽されいつの間にか通信している。 非…

一般の話: 2016年の振り返り

インターネットの闇です。実家が快適すぎて太りそうです。 個人的な2016年の振り返りをしようかなぁと思います。

一般の話: LTのテクニック?

インターネットの闇です。 最近LTを聞いていると、もっとこうしたら良いのになぁとか思うことが多いです。 それをそこはかとなく自分の考えを書き綴りたいと思います。