Bhutanese refugee
というものでありました。 このうち、ブータン政府はカテゴリー１，２，４の人々を帰還させる用意があると表明しているとされます。 ここで注意しなければならないのは、このうち市民権（国籍）が与えられるのはカテゴリー１の３％のみとされていることです。 いくつかの報道をまとめると、大多数（７５％）を占めるカテゴリー２は、 ブータン国内の少なくとも３箇所に設営されるトランジット・キャンプに収容され、 そこでさらに２年間以上過した後、市民権の申請をする権利ができるとされている点です。 また、ブータンの市民権法（国籍法）の運用によっては、２年ではなく２０年間の国内滞在を市民権の申請条件にすることが可能であるとも指摘されています。 このカテゴリー２に分類された人々は、強制的に出国させられる時に、「自発的に国を去る」といった書類にサインをさせられた人々だと推測されます。もちろん、ほとんどの人々は望んで「自発的
#95 もしC#プログラマーがMaybeモナドを実装したら « C# « a wandering wolf
Does a wandering wolf dreams of a wondering, sometimes programming sheep? 皆さんは、「モナド」という言葉をご存じでしょうか。 第3回 mapからモナドを理解する - 本物のプログラマはHaskellを使う モナドとは何か - モナドのすべて よく分かりませんねｗ 私もまだ分かりきっていないんですが、「どうなるか分からない処理を包んで安全に操作するためのもの」としてモナドを認識しています。 でも、何が分からないかも分かっていないのは不安です。 ならば、これはどうか。 モナドを自分の知っている言語で実装したら、理解の助けになるんじゃないだろうか？ と言うことで、モナドをC#で実装してみようというのが今回のトピックです。 Maybeモナド 今回実装してみようと思っているのが、Maybeモナドです。 Maybeモナドとは、失
Perlでモナドを学ぶ - Pixel Pedals of Tomakomai
勉強のためにPerlでモナドを実装してみました。 免責 圏論のモナドの概念をPerlでシミュレートしようと言うエントリであって、モナドを開発にどう利用するかなどについてはびっくりするくらい言及しませんので悪しからず。 1. 圏を考える Perlのスカラ値の任意の集合を対象として、引数も戻り値も一つで副作用がないサブルーチンを射とします*1。domとcodについては、関数が正常に動作する範囲で適当にとりましょう。 * 例: 対象「文字列」から対象「整数」への射 length 2. 自己関手の表現 自己関手は、二つの写像からなります。 対象を対象に移す写像 T_object モノとしては考えますけど今回は実装しません*2。 射を射に移す写像 T_arrow 『サブルーチンを受け取ってサブルーチンを返すサブルーチン』として実装できます。 3. 自然変換の表現 関手Tから関手Sの自然変換は、対象A
不完全にしておよそ正しくないプログラミング言語小史
1801 – ジョセフ・マリー・ジャカールがパンチカードを使った織機によってタペストリーに"hello, world"と織り出す。しかしラッダイト (当時のRedditer) たちは、テールリカージョン、並行処理、大文字小文字の区別を欠いていたため、さほど感心しなかった。 1842 – エイダ・ラブレスが最初のプログラムを書く。彼女の努力は、プログラムを実行するコンピュータが実のところ存在しないというマイナーな問題のために頓挫した。後にエンタープライズアーキテクトたちはプログラムをUMLで書くために彼女のテクニックを再び学ぶことになる。 1936 – アラン・チューリングが存在しうるあらゆるプログラミング言語を発明するが、特許化する前に英国情報部員(後の007)によって抹殺される。 1936 – アロンゾ・チャーチも存在しうるあらゆる言語を発明しているが、より巧みに行った。チャーチのラムダ
)
トルコ人 (人形) - Wikipedia
Karl Gottlieb von Windischの1784年の著書Inanimate Reasonに描かれるトルコ人 トルコ人の内部構造 トルコ人（トルコじん、英語: The Turk）は、18世紀後半に作られたイリュージョンのための人形である。制作された1770年から焼失した1854年まで、多くの持ち主に渡ってチェスを指すオートマトンとして展示されたが、1820年代前半には入念ないたずらということが判明した[1]。 1770年にヴォルフガング・フォン・ケンペレンによってマリア・テレジアを喜ばせるために作成されたトルコ人は、人間相手にチェスを指し、ナイト・ツアーの問題も解くことができたが、実はチェスの名人が内部に隠れて操作する、一種の手品だった。トルコ人はヨーロッパとアメリカで展示されている84年の間に行われたほとんどのチェスの試合に勝ち、その相手にはナポレオン・ボナパルトやベンジャミ
機械式計算機 - Wikipedia
この項目では、機械要素によりデジタル的に演算を行う計算機について説明しています。 機械要素によりアナログ的に演算を行う計算機については「アナログ計算機#機械式アナログ計算機」をご覧ください。 電子回路によりデジタル的に演算を行う計算機については「コンピュータ」をご覧ください。 機械式計算機 （きかいしきけいさんき、英語: mechanical calculator, mechanical calculating machine 等）は、歯車などの機械要素により計算を行う計算機である。 以下、この記事ではディジタルな、すなわち計数的、離散的に演算を行うものについて述べる。 計量的、連続的な物理量などによる機械式アナログ計算機については、アナログ計算機の記事を参照のこと[注 1]。 一般に、この種類の試みの初期のものとしては、ヨーロッパで17世紀にシッカート、パスカル、ライプニッツらが設計・制
ヴィルヘルム・シッカート - Wikipedia
ヴィルヘルム・シッカート 復元されたシッカートの計算機 ヴィルヘルム・シッカート（Wilhelm Schickard、1592年4月22日 - 1635年10月24日）は、世界で最初に自動計算機を作った。テュービンゲン大学のヘブライ語の教授。 生まれはドイツのヘレンベルク(Herrenberg) で、テュービンゲン(Tübingen) で亡くなった。 同時代の人は、彼が作製した機械を計算する時計(Calculating Clock)と呼んだ。 それは、ブレーズ・パスカルのパスカリーヌとゴットフリート・ライプニッツの計算機よりも機能は少ないが、20年先行していた。シッカートがヨハネス・ケプラーにあてた手紙では、どのように天体計算(astronomical tables)にそのマシンを使うかを示していた。マシンの作製には彼が専門としたヘブライ語の文法も大きく関係している。この計算機は、6桁の加
チャールズ・バベッジ - Wikipedia
チャールズ・バベッジ（Charles Babbage、FRS、1791年12月26日 - 1871年10月18日[1]）は、イギリスの数学者。哲学者、計算機科学者でもあり、世界で初めて「プログラム可能」な計算機を考案した[2]。検眼鏡の発明者。 「コンピュータの父」と言われることもあり[3]、初期の機械式計算機を発明し、さらに複雑な設計に到達した[4]。その完成しなかった機械の一部はロンドンに所在するサイエンス・ミュージアムに展示されている。1991年、バベッジの本来の設計に基づいて階差機関が組み立てられ、完全に機能した。これは19世紀当時の技術の精度に合わせて作られており、バベッジのマシンが当時完成していれば動作していたことを証明した。9年後、サイエンス・ミュージアムはバベッジが階差機関用に設計したプリンターも完成させた。 ロンドンに生を受ける。正確な生誕地については議論があるが、ロンド
ジョゼフ・マリー・ジャカール - Wikipedia
ジョゼフ・マリー・ジャカール（Joseph Marie Jacquard、1752年7月7日 - 1834年8月7日）は、フランスの発明家。ジャカード織機というプログラム可能な初期の織機の開発で知られる人物。ジャカード織機は他のプログラム可能な機械の開発にも重要な役目を果たし、後のコンピュータの開発にも繋がっている。 まず第一に、ジャカールの姓と思われている "Jacquard" は本来の姓ではない。彼の曽祖父は子沢山で、その子孫（シャルル家）はリヨンの同じ地区に住んでいた。そのため、それぞれの系統を「あだ名」で呼ぶようになり、彼の系統は「"Jacquard" のシャルル」と呼ばれた。このため、彼の曽祖父は後付けで「バルテレミー・シャルル・ジャカール」と呼ばれた[1]。 ジョゼフ・マリー・ジャカールは1752年7月7日、リヨンで生まれた。機織りの親方だった父ジャン・シャルル（ジャカール）の
エイダ・ラブレス - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "エイダ・ラブレス" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2013年12月) 1840年ごろの肖像画、 (作)アルフレッド・エドワード・シャロン アントワーヌ・クロード（英語版）による銀板写真。1843年または1850年の写真とされる。 ラブレース伯爵夫人オーガスタ・エイダ・キング（Augusta Ada King, Countess of Lovelace, 1815年12月10日 - 1852年11月27日）は、19世紀のイギリスの貴族・数学者。主にチャールズ・バベッジの考案した初期の汎用計算機である解析機関についての著作
ジャック・ド・ヴォーカンソン - Wikipedia
ジャック・ド・ヴォーカンソンの肖像 ジャック・ド・ヴォーカンソン（Jacques de Vaucanson, 1709年2月24日 - 1782年11月21日）は、フランスの発明家。オートマタの製作と自動織機の製作で知られている。 1709年、フランスのグルノーブルでジャック・ヴォーカンソン（Jacques Vaucanson、"de" は後に科学アカデミーによって付与されたもの[1]）として生まれた。手袋職人の10番目の子であり、生活は貧しく、ヴォーカンソン本人は時計職人になることを希望していたという。イエズス会士の下で勉強し、後にリヨンのミニモ修道会に参加した。そのまま聖職者になるつもりだったが、外科医 Le Cat と出会い、解剖学の詳細を教えられたことで機械装置への興味が再燃した。この新たな知識は、血液循環、呼吸、消化といった生命体の機能を真似た機械装置を開発する下地となった。 1
[Objective-C][iPhone sdk]Documents内にテキストファイルを書き出す
前回に引き続き、やっとこさ、Documents内にファイルを出力する方法がわかったので、まとめてみようかなと。 リファレンスでは、バイナリデータでファイルを保存する方法が記載されていましたが、テキストファイルでの保存方法がなかったので、今回はテキスト形式でファイルを保存する方法について書きたいと思います。 //ホームディレクトリ直下にあるDocumentsフォルダを取得する NSArray *paths = NSSearchPathForDirectoriesInDomains( NSDocumentDirectory , NSUserDomainMask , YES ); NSString *dataPath = [[paths objectAtIndex:0] stringByAppendingPathComponent:@"hoge"]; //ファイルが存在しない場合(初回ロード時の
表示的意味論 - Wikipedia
計算機科学における表示的意味論（ひょうじてきいみろん、英: Denotational Semantics）とは、プログラミング言語の意味を形式的に記述する形式意味論（プログラム意味論）の一つの枠組みである。初期には「数理的意味論」（mathematical semantics）、「スコット＝ストレイチー意味論」（Scott–Strachey semantics）のようにも呼ばれた。表示的意味論では、記述された言語の各語句に、表示的意味（denotation）、すなわちプログラム全体の意味に対してその中に現れる各語句が担う役割を表す数学的対象（object）、を与える方法をとる[1]。 表示的意味論の起源は、1960年代のクリストファー・ストレイチーやデイナ・スコットの研究である。ストレイチーやスコットが開発した本来の表示的意味論は、プログラムの表示（意味）を入力を出力にマッピングする関数に
perl & javascript - で単なる自己関手の圏におけるモノイド対象(笑) : 404 Blog Not Found
2010年05月19日20:00 カテゴリLightweight Languages perl & javascript - で単なる自己関手の圏におけるモノイド対象(笑) 参照透過性ふいたwww 不完全にしておよそ正しくないプログラミング言語小史 1990 ? サイモン・ペイトン・ジョーンズ、ポール・フダック、フィリップ・ワドラー、デミ・ムーアの夫、ならびに動物の倫理的扱いを求める人々によって構成される委員会により、遅延評価を行う純粋な関数型言語Haskellが作られる。副作用の制御に使われるモナドの複雑さのため、Haskellには抵抗を持つ人々がいる。ワドラーは批判を和らげるために、こう語っている。「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」 「何か問題でも」と言われた場合は、自分の問題にして解いてみることにしている。 というわけでIOモナドをJSとPerlで
Haskell演習の草稿 - あどけない話
プログラミングの経験はあるが、Haskell は使ったことがない人に、2時間ぐらいで Haskell のよさを教える演習のネタを考える。 Haskell の代表的な利点といえば、 型による厳密なプログラミング QuickCheck によるテストケースの自動生成 Persec によるパーサーの作成 だ。今回は、パーサーの作成は諦めて、上2つについて教えてみる。 リストの探索プログラム まず、連想リストを探索するプログラムを書く。標準では lookup という関数が用意されているが、これを search という名前で再発明する。オーダーは O(n)。 まず、型を考える。 search :: Eq k => k -> [(k,v)] -> Maybe v search = undefined 次に、実装を考える。 search :: Eq k => k -> [(k,v)] -> Maybe v
JavaScript: 世界で最も誤解されたプログラミング言語 - 実用
翻訳 原文:JavaScript: The World’s Most Misunderstood Programming LanguageCopyright 2001 Douglas Crockford. All Rights Reserved Wrrrldwide. JavaScript(別名：Mocha、LiveScript、JScript、ECMAScript)は、世界で最も人気のあるプログラミング言語の一つです。世界中のほとんどのパソコンには、少なくとも1つはJavaScriptインタープリタがインストールされ動いていることでしょう。JavaScriptは、WWWのスクリプト言語としての確かな地位により広く利用されるようになったのです。 しかしその高い普及率にもかかわらず、JavaScriptが汎用的でダイナミックな優れたオブジェクト指向プログラミング言語であることはあまり知られて
A Gentle Introduction to Haskell, Version 98
Paul Hudak, Yale University John Peterson, Yale University Joseph Fasel, Los Alamos National Laboratory September 28, 1999 翻訳：山下 伸夫 <nobsun@sampou.org> これは、「やさしい Haskell 入門 (バージョン98)」のHTMLバージョンです。 目次要約 イントロダクション 値、型、その他の有用な概念 関数 case 式とパターン照合 型クラスとオーバローディング 再び、型について 入出力 標準の Haskell クラス モナド 数 モジュール 型付けの落し穴 配列 この先の学習 参考文献 目次 このHaskell Tutorialのマスター文書は、 haskell.orgにあります。このレポー トの訂正や変更はすべてそこに反映されるようになっ
Haskell のデータ構築子 - あどけない話
Haskell の代数データ型で使われるデータ構築子は、実は関数と同様に扱えます。たとえば、四則演算の式を表す代数データ型を以下のように定義したとします。 data Expr = C Int | Add Expr Expr | Sub Expr Expr | Mul Expr Expr | Div Expr Expr deriving Show "1 + 2" は "Add (C 1) (C 2)" と表現できます。この式を評価してみましょう。 Add (C 1) (C 2) → Add (C 1) (C 2) 当たり前ですが、そのものが返ってきます。 話は変わりますが、add という関数を素直に定義すると、こうなるでしょう。 add x y = x + y 式 "add 1 2" を評価するとこうなります。 add 1 2 → 3 すなわち、関数であれば簡略化されますが、データ構築子であ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Mac♪Mac♪Mac♪ - 第3回 ログ用の関数を作る