type t (* void *)

ソフトウエアのこととか

Emacsでポモドロをやっていきたいが

今まで自分が何にどれくらい時間を使ったのか分からなくて、ポモドロの記録をつけ始めた。
コレ自体は良いというか、自分の時間の使い方を見直すことができて有意義だと思っている。
しかし、今使っている道具が微妙に使いづらくて困っている

francescocirillo.com

続きを読む

Ubuntu 18.04にアップグレードしたときに起きたこと

設定が色々戻った系のアレ

  • インプリメントメソッドがibusになった settingから下に戻す
  • Alt + Tabのショートカットキーが新しいfunctionに奪われた

  • switcherが標準のものに戻された compizからstatic swicherに戻す

動いていたものが動かなくなった

うれしいこと

  • Ubuntu 18.04にしたことでpythonのバージョンが上がって、local type hintを書いてもエラーにならなくなった。これは嬉しい

ocamlのctypesで.oをリンクする

昔はもっと面倒だったと思うのですが、いつの間にか動くようになっていました。OCaml 4.07, ctypes 0.11.5で確認。
ocamloptでは普通に.oをリンクするだけでctypesで作った関数が呼び出せる。
ocamlcではできない。

open Ctypes
open Foreign

let f = foreign "f" (void @-> returning int)

let _ =
  Format.printf "%d@." @@ f ()
int f ()
{
  return 100;
}

OCAMLC=ocamlfind ocamlc -package ctypes,ctypes.foreign
OCAMLOPT=ocamlfind ocamlopt -package ctypes,ctypes.foreign

test.x: lib.o main.cmx
        ${OCAMLOPT} -o $@ -linkpkg $^

test: lib.o main.cmo
        ${OCAMLC} -o $@ -linkpkg $^

clean:
        rm *.o *.cm? *.so

# 使ってない
lib.so: lib.o
        gcc -shared $^ -o $@

%.o: %.c
        gcc -c $<

%.cmo: %.ml
        ${OCAMLC} -c $<

%.cmx: %.ml
        ${OCAMLOPT} -c $<

OCamlのformat型の変な？型付け

ツイッターやらリアルで話しすぎてどこまで書いたかわからないけどformat型についてまとめておく。 言いたいことはほとんどこれだけ。

続きを読む

antlr4の生成するプログラムのインデントがおかしい気がする

追記：普通に解決方法があった。。。。。。。。

stackoverflow.com

つらい。最新版4.7.1で確認。

gist.github.com

antlr4は{}の中にアクションを記述することができるが、複数行になるときにインデントが考慮されていない気がする。 上のプログラムでDebugParser.py の34行目、インデントがおかしいので生成したプログラムを実行しようとするとインデントエラーになる。

昼間に起きてられるおくすり

最近睡眠外来にかかってまして、検査入院の結果特発性過眠症という診断をもらいました。 原因はよく分かってないけど、昼間の眠気が非常に強いというものみたいです。

特発性過眠症 - Wikipedia

昼間に2時間に一回入眠の早さを見る、みたいな検査を受けたのですが成人が横になって入眠するのに大体15分かかるところ、ワタシは1分未満でした。 まぁうすうすなんか異常なんだろうなと思っていたものに病名が付きました。

治療する方法はよく分かってないためないらしく、対処療法で薬を飲み続けることになりました。薬を飲みはじめて数日しか経ってないけど、世界が変わるようです。 朝昼でお薬を飲んでおくと、昼間全く眠くなりません。起きてられる世界素晴らしいです。

わたしは気付いたときには既に人の話を聞いていると起きてられず、12歳くらいから授業中居眠りするようになってました。 学部生のときはとてもひどくて、毎日4つ講義あるうち全く起きてられない日もあるくらいで、学部の成績はひどいものです。 人の話を聞くことが出来ないというのはとてつもないハンデで、単位取得した講義でも全く起きてられずに夜になんとか勉強してとったものもありました。

講演会で話を聞いていても最後まで起きてられたことはほぼなくて、学会に行ってもだいたいは居眠りしてしまう状態でした。 コンピュータを使う科目は手を動かすからか眠くなりにくく（それでもたまにPCの前で寝始めるんですが、、、）、まぁこの仕事でよかったと思っていました。 が眠くなければ他の道もあったのかもなぁみたいな気持ちになります。学部生の頃に眠気覚ます薬があれば。。。。。。

f:id:no_maddojp:20180803002711j:plain

というわけで眠いですがなんとか薬でやっていくぞ。