型システム - Wikipedia
型システム（かたシステム、英: type system）は、コンピュータプログラミングの数々の構成要素および値に対して、型（type）と呼ばれる特性を付与するための数々の規則群から成立している形式体系である[1]。型の付与は、型付け（typing）と言われる。例えば、変数・式・関数・モジュール・オブジェクトなどが型の付与対象になり、それらの型付け要素を規則的な関係でまとめたデータ構造にも型は付与されてカテゴライズされる。 型システムの目的は、プログラムエラーとバグの発生を抑止することである[2]。そのための型安全性とは、各計算および各オペレーションでの型エラー（不正計算、ロジックエラー、バッファオーバーフロー、不正ポインタなど）の発生を防止することと同義になる。 型システムは、一般的に型理論をベースにしている[3]。 定義と性質[編集] 型の例 型とは[編集] プログラミング言語はさまざま
柏原正三著「プログラミング言語Erlang入門」その２: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2007/11/30/2465520 柏原正三著「プログラミング言語Erlang入門」 で書名だけ出した http://www.amazon.co.jp/exec/obidos/ASIN/4756150705/showshotcorne-2
プログラミング言語の人気ランキング: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- プログラミング言語の人気ランキングのこと、書こうとして、ずっと忘れて た。野口悠紀雄のトンデモIT論を書こうとして思い出した。＼(^O^)／ 一番有名でアクティブなのは、 http://www.tiobe.com/index.htm?tiobe_index TIOBE Programming
Matzにっき(2007-10-15) Chris's Wiki :: blog/programming/LanguageNiches
<< 2007/10/ 1 1. [Ruby] ロゴコンテスト締め切り 2. [Ruby] Rubyで自治体の業務システム構築、松江で実証実験 − ＠IT 3. On Off and Beyond: 何かを好きになるために努力すること 4. U-20プロコン表彰式 5. 経済産業大臣表彰 2 1. [言語] プログラミング言語「ドリトル」 - Dolittle 2. [Ruby] 【CEATEC】東芝がCell上でRubyを使った家電向けユーザー・インタフェースをデモ：ITpro 3 1. [言語] The Transterpreter 2. 5時間以下の睡眠続け死亡率1.7倍に 7時間寝よう｜Ameba News 3. This is making me angry 4. [Ruby] Ruby on Rails Development: Justify Your Choice of R
Matzにっき(2007-10-13) - Seasarはなぜ日本から巣立たない?
<< 2007/10/ 1 1. [Ruby] ロゴコンテスト締め切り 2. [Ruby] Rubyで自治体の業務システム構築、松江で実証実験 − ＠IT 3. On Off and Beyond: 何かを好きになるために努力すること 4. U-20プロコン表彰式 5. 経済産業大臣表彰 2 1. [言語] プログラミング言語「ドリトル」 - Dolittle 2. [Ruby] 【CEATEC】東芝がCell上でRubyを使った家電向けユーザー・インタフェースをデモ：ITpro 3 1. [言語] The Transterpreter 2. 5時間以下の睡眠続け死亡率1.7倍に 7時間寝よう｜Ameba News 3. This is making me angry 4. [Ruby] Ruby on Rails Development: Justify Your Choice of R
Matzにっき(2007-09-24) ongoing ・ WF II: Erlang Blues
<< 2007/09/ 1 1. U20プロコン最終審査会 2. 死なないために 3. [Ruby] davidflanagan.com: Nifty Ruby Unicode codepoints utility 2 1. [教会] 第一日曜日 3 1. [Ruby] RubyアソシエーションがRuby言語公式ロゴのデザイン募集：ITpro 2. [OSS] Open Tech Press | GNU GPLv3 日本語訳 3. [言語] retlang - Google Code 4 1. Full Disclosure: World's most powerful supercomputer goes online (fwd) 2. [知財] 元麻布春男の週刊PCホットライン - DRMどころかEPNも嫌いだ 3. 取材 5 1. 取材 2. [Ruby] Ruby needs a
「型なし言語逝ってよし」について - K.Maebashi's はてなブログ
「LL魂」にて、パネル「オレ様言語の作り方」に出演してきました。 ひとり10分ぐらい、自分の言語を紹介する枠がありまして、OpenOffice Impressでプレゼン資料を作って持っていきました。 発表直前にステージ上でプロジェクタの接続テストを行い、プレゼン資料の表紙がきちんと表示できることは確認したのですが、いざ自分の番が来て、スライドショーの2ページ目をめくってみると、解像度が合わなくてプロジェクタの画面をはみ出してしまいました。 そもそも私はこんな機会には慣れてませんからかなり緊張してましたし、そこへ来てコレで少なからずパニクりまして、なんとかスライドショーではなく編集モードで発表は進めたのですが、そもそも日頃PowerPointは使ってもOpenOfficeは使ってないし、ノートPCのトラックパッドにも慣れないし、等々あって、なんというかみっともないことになってしまいました。
総論 複数のプログラミング言語を学ぶ意義 - フリー言語で真のプログラミングを学ぶ：ITpro
ネットワーク応用通信研究所 特別研究員。島根の田舎に住みながら国際的なオープンソース・ソフトウエアの開発に挑むプログラマ。家族6人で幸せな田舎暮らしを満喫している。バグと原稿の締め切りがなければもっと幸せなのに，と思いつつ，考えてみれば，それらがないならないで，別の困ったことがあるよなあと思う今日このごろ。 皆さんは「サピア・ウォーフ仮説」をご存じでしょうか。これは言語学における古典的な仮説の一つで，「人間の思考は使用する言語とそれに付随する文化に影響を受ける」というものです。もし仮に数字を3までしか持たない言語があったとすると，その言語を使用する文化に生まれ育った人間は3以上の数を認識できない，といったことです。言語学的にはこの仮説は否定されているようですが，日常生活の中では，この仮説が本当ではないかと感じる経験がたびたびあります。 例えば，私は年に数回海外に出張して講演をする機会があり
Matzにっき(2007-06-13)
<< 2007/06/ 1 1. [Ruby] 楽天技術研究所フェロー就任の影響 2. [知財] 私的録音録画小委員会、CD売上減と私的複製の関係めぐり議論は平行線 3. [Ruby] 川o・-・）＜2nd life - Ruby で debug する7つの方法 4. [Ruby] Rails vs Django: a non biased yet useless comparison 5. [OSS] Dave Gilbert's Weblog : The Badness of JFree 6. [OSS] Trust, But Verify - O'Reilly ONLamp Blog 7. [言語] Scala Actors -- A Short Tutorial 8. [Ruby] taw's blog: Why RLisp will not support Ruby class
プログラミング言語を成分解析したら - プログラマの思索
小川 明彦, 阪井 誠 : チケット駆動開発 日本のソフトウェア開発の現場で生み出された「チケット駆動開発」という概念を、数多くの実例を元にモデル化・体系化を試みた最初の本。 小川 明彦, 阪井 誠 : Redmineによるタスクマネジメント実践技法 Redmineによるチケット駆動開発の実践技法に関する最初の本。アジャイルなソフトウェア開発への適用方法、TestLinkによるテスト管理手法についても言及。 清水 吉男: 「派生開発」を成功させるプロセス改善の技術と極意 組込システム開発をベースとして、ソフトウェア開発特有のスタイルである派生開発、特にXDDPについて解説した世界でも稀な本。既存製品を保守するのではなく継続的に機能追加していく昨今の開発では、派生開発特有の問題を意識しなければならない。XDDPはプロセス論だけでなく、要件定義などの上流工程の品質改善にも役立つので注意。 Le
Matzにっき(2007-05-22)
<< 2007/05/ 1 1. [Ruby] ITmedia エンタープライズ：刑務作業でRuby、世界初の受刑者によるソフトウェア開発 2. [Ruby] MS、「Silverlight」を複数プラットフォーム対応へ - CNET Japan 3. お客様 4. [Ruby] Calling Erlang from Ruby (Teaser) 2 1. [言語] random-state.net / Method Cache Hacking (May 1st 2007) 2. ICFP Programming Contest 2007 3. 「働く」って何だっけ？日本の労働観を再考せよ (新日本的経営の姿)：NBonline(日経ビジネス オンライン) 3 1. [原稿] 日経Linux 2007年7月号 2. [言語] The World of Hello World 3. [言語]
404 Blog Not Found:君は新言語xtalを知っているか? - Matzにっき(2007-05-23)
<< 2007/05/ 1 1. [Ruby] ITmedia エンタープライズ：刑務作業でRuby、世界初の受刑者によるソフトウェア開発 2. [Ruby] MS、「Silverlight」を複数プラットフォーム対応へ - CNET Japan 3. お客様 4. [Ruby] Calling Erlang from Ruby (Teaser) 2 1. [言語] random-state.net / Method Cache Hacking (May 1st 2007) 2. ICFP Programming Contest 2007 3. 「働く」って何だっけ？日本の労働観を再考せよ (新日本的経営の姿)：NBonline(日経ビジネス オンライン) 3 1. [原稿] 日経Linux 2007年7月号 2. [言語] The World of Hello World 3. [言語]
新言語 Xtalを作る日記
結構何度も書き直してしまう関数のバインダ周りなんですが、また書き直してます。 これまでの記述方法でも書けるのですが、次のような新記法も追加することになりました。 XTAL_BIND(Vector){ Xdef_method(normalize); // このような、もっと簡単な記述方法の追加 Xdef_method(length); } また、引数の最後をArguments* または const ArgumentsPtr& とすることで、簡単に可変引数を受け取れるようになりました。 たとえばluaでは、数学系の関数をluaから使いたいという場合、 lua_State *L = lua_open(); luaopen_math(L); というように、luaopen_math()を呼ぶ必要があります。これはsquirrelでもそうだったはずです。 使わないライブラリでメモリを圧迫しないようにで
Whitespace
What is Whitespace? Most modern programming languages do not consider white space characters (spaces, tabs and newlines) syntax, ignoring them, as if they weren't there. We consider this to be a gross injustice to these perfectly friendly members of the character set. Should they be ignored, just because they are invisible? Whitespace is a language that seeks to redress the balance. Any non whit
MITとUCLA、共同で子ども向けプログラム言語を開発
マサチューセッツ工科大（MIT）のMedia Labとカリフォルニア大学ロサンゼルス校（UCLA）の研究者が共同で、子ども向けのコンピュータプログラム言語を開発した。 MITは米国時間5月15日、新しいプログラム言語「Scratch」を発表した。Scratchは8歳以上の子どもを対象としたもので、ウェブを使った対話方式の物語、ゲーム、アニメーションを作成し、オンラインで共有できるという。すでに、子供たちは実際にScratchを使って、ホッキョクグマの学校に関する物語や、宇宙空間で戦闘するゲームを作成している。 MITは、ScratchをLEGOブロックと比較しながら、LEGOブロックのようなシンプルさでウェブサイトを構築できるグラフィカルなブロックと述べている（同じMITのグループが、LEGO Mindstormsのロボット作成キットに着想を得た「プログラム可能なブロック」を開発している）
Matzにっき(2007-04-24)
<< 2007/04/ 1 1. エープリルフール 2. [Ruby] オブジェクト指向機能を取り除いた Ruby-- が登場!? 2 1. [教会] セミナリー１日目 2. LMLML 3. [Ruby] 最速配信研究会 - なんだかいろいろ申し訳ない気分になった話 4. [Ruby] Headius: ActiveRecord 100%, Performance Doubling, Java Support Improving 3 1. [Ruby] Bitwise Magazine:: What's Right With Ruby? 2. [OSS] オープンソースソフトウエアがビジネスの成長を加速 3. Passion For The Future: なぜ株式投資はもうからないのか 4 1. [Ruby] Rails 1.2と1.1、速いのはどっち? - Railsbenchによる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://madscientist.jp/~ikegami/diary/20080514.html
Route 477
Google Code Archive - Long-term storage for Google Code Project Hosting.
FizzBuzz 問題 - Akimosphere side H mod 1
