Today アクセスカウンター Yesterday アクセスカウンター

ホワット・ア・ワンダフル・ワールド

私は知識に何ものかを付け加え,また他の人々がより多くのものを付け加える手助けをした --- G.H.ハーディ

全記事一覧 << 2008/07 12345678910111213141516171819202122232425262728293031 2008/09 >>

プロフィール

あろは (alohakun)

  • Author:あろは (alohakun)
  • 若槻俊宏 (WAKATSUKI toshihiro)

    連絡先 : alohakun ___at___ gmail.com
    mixi : http://mixi.jp/show_friend.pl?id=182927
    twitter : http://twitter.com/alohakun

    abstract

    プログラミングという人間の知的行為を体系化し,単なる職人芸ではなく,サイエンスにするための研究をしています.

    具体的には,等価変換計算モデルに基づいた,仕様記述からのプログラム合成の研究をしています.

    もっと噛み砕くと,プログラムの正しさをどのように定式化し,どのような枠組みで,どのように変換を進めていけば,正しさを保証したまま,効率的なプログラムを手に入れることができるのか,ということについて研究しています.

    キーワード : equivalent transformation, computation model, programming paradigm, formal specification, program synthesis













    あわせて読みたい


    この日記のはてなブックマーク数


    スカウター : ホワット・ア・ワンダフル・ワールド


    Map









    FC2 BLOG RANKING

FC2カウンター

ブロとも申請フォーム

この人とブロともになる

typedef と define の違いを述べよ

2007/11/20(火) 01:28:48

今,tomatoma という酒を一本 (度数 12 %,500 ml) うっかり空けてしまい,けっこう酩酊状態です. 「きっ… 効くぜ…」 (左近寺竜之介)
ときどきの雑記帳 リターンズ ■ それは無い
をきっかけに.

僕が初めて C 言語を勉強したのは,基本から学ぶC言語 - Cプログラミングを極めたい人のために という,盛岡の M's 書店に売っていた本なんですが (ローカルネタ過ぎる)

その本の中で,typedef と define の違いを述べよ,という設問があったような気がする.要するに

typedef char * char_ptr
#define char_ptr char *

がどう違うのか,みたいな感じ (記憶があいまいだけど)

んで,もちろん

char_ptr x, y, z;

とか書いたとき,typedef だと x,y,z 全部 char* になるんだけど,define だと最初の x だけ char * で,他は char になっちゃうんですよね.define はプリプロセッサによる単なるトークン置換だから.

そんだけ (おい)

まぁ,最近論文書きで研究室に缶詰で,なかなか以前のような長文ブログを更新できないでいるのですが.

僕も kosaki さんのように,twitter を止めて FC2 blog に一行日記を何のためらいも無く書けるような剛毅さを身に着けないとな,とかなんとか.

はてなの人は,一日に何度も一行日記を気軽に更新できて良いなとは思う.FC2 は一応ブログですからね.それなりの分量の文章を書かないと,格好が付かない感じがします.

う〜ん,死ぬほど気分が悪い.トマト 58 % って,凄い酒だよなー.いかにも悪酔いしそうだ.サラダの国のトマト姫 (古い)
C 言語/コンパイラ/BinaryHacksTB:1CM:6 このエントリーを含むはてなブックマーク | livedoorクリップ livedoorクリップ BuzzurlにブックマークBuzzurlにブックマーク newsing it!
コメント
っ google:"M's 秋葉原"
すいませんすいません(ぉ
fla #-|2007/11/20(火) 12:03 [ 編集 ]

す、すごい所で本を買ったんですね(´・ω・`)
kosaki #-|2007/11/20(火) 13:09 [ 編集 ]
> fla さん
なるほど,物工生は秋葉原で工作部品を仕入れたついでに,そういう店にも… w

一般に,高学歴になるほどプレイの変態度は上がって行くそうです.
やはり東大生は,いろいろな意味で日本の頂点なんですね.
あろは #wNX6xxGw|2007/11/20(火) 17:14 [ 編集 ]
> kosaki さん
いやー,盛岡(厨川)のは,エムズ書店みたけ店で,普通のちょっと大きい本屋です.

http://www.morioka-town.com/review/mo012740

kosaki さんのところは,1記事1ネタになってるので,実はちゃんとブログ形式になってましたね.単に,昔の僕がダラダラ書きすぎだったのかもしれません (記事が長すぎて,ピンポイントな言及がしにくいと jijixi さんとかに言われることも多かった).

はてなの方は,1記事が1日に対応してて,一行日記の積み重ねで構成されている形が多いような気がします.これはこれで,更新のハードルが下がって良い気がしますが,「それ twitter でいいんじゃね ?」って感じの人も多い気がします.
あろは #wNX6xxGw|2007/11/20(火) 17:23 [ 編集 ]

どうでもいいんですが typedef は逆では。
char typedef * char_ptr;
とかならいいんですが。
shinh #-|2007/11/24(土) 05:03 [ 編集 ]
> shinh さん
アッー すいません !!
あろは #wNX6xxGw|2007/11/24(土) 18:55 [ 編集 ]
コメントの投稿

管理者にだけ表示を許可する

トラックバック
『驚愕の新事実』
http://alohakun.blog7.fc2.com/blog-entry-877.htmlより僕も kosaki さんのように,twitter を止めて FC2 blog に一行日記を何のためらいも無く書けるような剛毅さを身に着けないとな,とかなんとか. はてなの人は
革命の日々!|2007/11/20(火) 10:52

トラックバックURLはこちら
http://alohakun.blog7.fc2.com/tb.php/877-a1486cfd

最近のコメント

リンク

このブログをリンクに追加する

最近のトラックバック

人生の残り日数

日本人男性の平均寿命は 28700日.

RSSフィード

カテゴリー