えっ、Cプリプロセッサの文字列化演算子って、こんなことできたの - 檜山正幸のキマイラ飼育記 (はてなBlog)
Cプリプロセッサのマクロ内で、仮引数にシャープ記号1個を前置すると、トークンを文字列にしてくれることは“いちおう”知ってはいました。しかし、引数として名前しか使ったことがありません*1。名前helloを文字列"hello"に直す、とかですね。 この文字列化演算子は、単なる名前じゃなくても文字列化できたんですね。へー。 /* a.c */ #include <stdio.h> #define PRINT_EXPR(expr) \ printf("%s = %d\n", #expr, expr) int main() { PRINT_EXPR(1 + 2); PRINT_EXPR(1 + 2*3); int x = 10; PRINT_EXPR(x); PRINT_EXPR(x*x + x + 1); return 0; } $ gcc a.c $ ./a.exe 1 + 2 = 3 1 +
林晋さんのこと、根拠なきイチャモンのこと - 檜山正幸のキマイラ飼育記 (はてなBlog)
先週のことでタイミングが遅れていますが、 http://d.hatena.ne.jp/JavaBlack/20151103/p1 相変わらず、何の根拠も示さずに知ったふうな事をのたまう。無根拠・非論理の芸風は死ぬまで治らない（治さない）のでしょう。 林晋さん*1へのたちの悪い言及を目にしてしまったので、一言いわずにはおれない気分です。 まず、林晋さんの著書について述べます。林さんの本は3冊持っていて、目次と索引しか見ない僕*2にしてはよく参照してます。 コロナ社の『数理論理学』*3は手が届く場所に置いてあります。 数理論理学 (コンピュータ数学シリーズ) 作者:晋, 林発売日: 1989/12/20メディア: 単行本 カリー／ハワード対応について説明している論理の本は少ないので、非常に助かります。かつてラムダセミナー／モニャドセミナーでカリー／ハワード対応を題材にしたときのネタ本はこれです
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
