WinFS - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "WinFS" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年5月） WinFS（Windows File System、以前はWindows Future Storageの略とされていた）はWindows Vistaで採用される予定であった統合ファイルシステム。 概要[編集] WinFSの実態は、Windows上に存在する全てのファイルを統合的に管理するデータベースエンジンで、NTFSファイルシステム上に構築されるサービスの一つである。当初は、完全な新規ファイルシステムとして実装される事が計画されていたが、後にNTFS上に構築さ
ベーパーウェア - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ベーパーウェア" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2020年12月） ベーパーウェア (vaporware) とは、概要が発表はされたものの構想段階や開発段階にあり、まだ完成・公開されるかどうかわからないソフトウェアもしくはハードウェアのことである。狭義には、完成・公開されないまま開発中止となったソフトウェア、ハードウェアを指すこともある。vapor とは英語で「蒸気」の意味で、吹かすばかりで実体のないことを表している。 開発が途中で中止されてしまったアプリケーションやオペレーティングシステムは多い。しかしそうしたベーパーウ
Geek Guide for Girls: Japanese
おたく男は乙女におすすめ A Girl's Guide to Geek Guys ミッキー・ハルピン & ヴィクトリア・マート 久霧亜子 訳 出版者コメント：許可をとらずにこの記事をコピーするでない！ 考えてもごらんよ――オリジナリティのかけらもないではないの。しかも、初出の Bunnyhop にリンクすらはらずに、この記事をむしってった連中が何十人もいるんだよ。意地悪してるみたいでいやなんだけどさ、ごめんね。 ――セス 出版者コメントその 2：この記事は、著者たちの見解および経験を述べたもので、本誌の見解とは関係ないのだ。さらに、この記事が書かれたのは 1994 年だってのはお忘れなく。ジェインウェイ船長になんで触れてないとか新シリーズのスタートレックなんたらがどうしたとかいうお怒りの手紙を送る前に、そこんとこちょいと考えておくれよね。 ほうほう、女々しく引きずってた、あのザ・サンドボッ
How To Become A Hacker: Japanese
なぜこんな文書を書いたか わたしは Jargon Fileの編集者で、またその他似たような有名文書いくつかの著者なので、しばしば熱心なネットワーク初心者から「ウィザード級の大ハッカーになるにはどうやって勉強すればいいの？」といったようなお尋ねメールを頂きます。でもかつて 1996 年に、こんな大事な問題を扱った FAQ や Web 文書 はみあたらないことに気がつきました。というわけで、これを書き始めました。多くのハッカーがいまやこれを決定版と見なしているし、つまり実際に決定版なんだと思います。でも、この問題について自分が唯一無二の権威だと主張するつもりもありません。気にくわなければ、自分なりのヤツをどうぞ。 この文書をオフラインで読んでいるなら、最新版は次のところにあります。 http://www.catb.org/~esr/faqs/hacker-howto.html なお、この文書の
「みんなでゲームを創る」Webサービスが登場、巨大RPGの可能性も | WIRED VISION
「みんなでゲームを創る」Webサービスが登場、巨大RPGの可能性も 2010年1月 7日 ゲーム好きが集まってコラボしながら新しいゲームを開発できるWebサービスが登場した。開発からプレイまで、全てWebブラウザ上で完結するためOSやソフトに依存せず、PCとインターネット接続環境があれば、誰でも参加できるのが特徴だ。現在、試験運用が行われている。 ゲーム制作Webサービスの名称は『Rmake』。“平凡なエンジニア”を自称するakasata氏が中心となって開発が進められている。エンターブレインが販売しているゲーム制作ツール『ツクール』シリーズなどと似ており、キャラクターやマップ、音楽、効果音などの素材データを組み合わせ、これらをスクリプトで制御して、“組み立てる”仕組みだ。 ユーザーが作成した素材は、他のユーザーと共有可能で、全部をはじめから自分でやるより簡単に開発ができる。また、気軽に質問
Game Scripting Memo
アクアプラス20周年記念タイトルの「うたわれるもの 偽りの仮面」をクリアしたので、ざっと感想メモでも。 前作の「うたわれるもの」が2002年ですから、13年ぶりの続編ということになります。事前情報はテレビCMのPVくらいの状態だったのですが、始めた当初は、前作キャラが出てこない上に、ハクオロさんと比べものにならない軽薄な主人公で、これは外れかなぁ、としょんぼりしてプレイしておりました。しかし、クリアした今、振り返ると、まさに十数年の時を越えた正統続編。これぞ「うたわれるもの」でした。 正直なところ、「俺たちの戦いはこれからだ」的なところで終わるため、完結主義者の方にはおすすめできませんが、ボリュームは十分ですし、ストーリー的にも中途半端感は全くないです。満足度はとても高し。続編はよ。 ゲームシステムとしては、前作同様、ADV＋シミュレーションゲームで、途中で単調にならないようにミニエピソー
ゲームデベロッパーズカンファレンス サンフランシスコ 2010
ゲームデベロッパーズカンファレンス 2010 情報収集と人脈作りの機会に溢れ、インスピレーションを刺激するエキサイティングな 5 日間が今年もやってきます！ GDC は前回に引き続きカリフォルニア州サンフランシスコのモスコーニコンベンションセンターで、2010 年 3 月 9 日から 13 日まで開催します。 今年のGDCは水曜から土曜にかけての開催で、GDC Expo、 GDC キャリアパビリオン、第12 回インディペンデントゲームフェスティバル、および第 10 回ゲームデベロッパーズチョイス・アワードを実施します。 GDCは、ハイクオリティなセッション、業界トップレベルの講演者、人脈作りのための数々のパーティ、イベントが目白押し。スキル向上やビジネス・コネクション開発に絶好のチャンスです。 今すぐ登録して、この機会を逃さないでください。 GDC 2010 の新しいポイント 新しいパ
Lisp一夜漬け -- 1.Lispの書き方
Lisp 一夜漬け -- 1.Lisp の書き方 対象としている読者は、 何らかのプログラミングを経験していて(関数・変数という概念がわかる)、 Lisp インタプリタに触れる機会を持つ人である。 すでに Lisp でプログラムを書ける人は対象外だ。 ■ Lisp の世界 Java、C、C++、BASIC、COBOL、FORTRAN、Lisp、Pascal、Perl。 現在、代表的なプログラミング言語というと、こんなものか？(*1) これらの中で、Lisp は他の言語とはまったく異なった書き方、考え方を必要とする。 あまりに特殊なため、Lisp 専用のハードウェアも作られたほどである。 FORTRAN が生まれた1956年のわずか3年後、1959年に Lisp は生まれた。 C 言語が1972年であるから、わりと歴史の長い言語なのである。 (ちなみに、COBOL:1959年、BASIC:1
俺は○○言語のプログラマーよりは上だ | スラド デベロッパー
Geekなぺーじにプログラミング言語ヒエラルキーというエントリがある。 元ネタはProgrammer Hierarchyとのことだが、例えば「RubyプログラマーはPerlプログラマーよりも自分を上だと思っている」といったような関係を図式化したパロディのようだ。 Lispとアセンブラがお互いに自分を上だと思い、さらに双方ともCプログラマより上だと思っているという関係でいきなり笑ってしまったが、あぁ確かにそういう意識があるかもなぁという感想。 こちらのGeek Hierarchyもかなりおもしろい。これは "Weird Al" Yankovicの White & Nerdyを聴きながら見ると、いい感じで笑い飛ばせるだろう。
魔法言語 リリカル☆Lisp
About ★「魔法言語 リリカル☆Lisp」はノベルゲーム風のLispチュートリアルです。 "アリサ"や"すずか"達と楽しくLispを学べます。 全１２話構成で各話の最後には練習問題が用意されています。 Lisp処理系にはNScripter上で動作するLispインタプリタであるNScLisperを使用。 別の処理系をインストールする必要はありません！！ Lispとは ★CやC++、Java、BASIC、Perl、Ruby、PHP、Python、ML、Haskellなどと同じプログラミング言語の一つです。 マサチューセッツ工科大学のJohn McCarthy教授を中心とする研究グループによって開発され、1962年に発表されました。 LispとはList Processorの略で名前通りリストの処理を得意とします。 このことから人工知能の開発に多く用いられています。 NScLisperとは
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
関数型プログラミング - Wikipedia
関数型プログラミング（かんすうがたプログラミング、英: functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである[1]。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある[2]。 関数型プログラミング言語（英: functional programming language）とは、関数型プログラミングを推奨しているプログラミング言語である[1]。略して関数型言語（英: functional language）ともいう[1]。 概要[編集] 関数型プログラミングは、関数を主軸にしたプログラミングを行うスタイルである[1]。ここでの関数は、数学的なものを指し、引数の値が定まれば結果も定まるという参照透過性を持つものである[1]。 参照透過性とは、数学的な関数と同じように
静的型付け - Wikipedia
静的型付け（せいてきかたづけ、英: static typing）は、値やオブジェクトの型安全性を、コンパイル時に検証するというコンピュータプログラミングの型システムの方法である。型の検査はソースコードの解析によって行われる。変数代入、変数束縛、関数適用、型変換といったプログラム記述箇所での型安全性がチェックされる。型エラーの場合は、コンパイルエラーに繋げられることが多い。 対義語は動的型付けであり、こちらでは値やオブジェクトの型安全性を実行時に検証する。型の検査はランタイムシステムの実行時型情報（RTTI）の照会などによる実行時プロセス上の解析で行われる。 概要[編集] プログラミング言語で書かれたプログラムにおいて、変数や、サブルーチンの引数や返り値などの値について、その型が、コンパイル時など、そのプログラムの実行よりも前にあらかじめ決められている、という型システムの性質のことである。
動的型付け - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2013年3月） 独自研究が含まれているおそれがあります。（2019年1月） 出典検索?: "動的型付け" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 動的型付け（どうてきかたづけ、英: Dynamic typing）とは、値やオブジェクトの型安全性を、実行時に検証するというコンピュータプログラミングの型システムの方法である。型の検査は実行時のプロセス上で行われて、ランタイムシステムの実行時型情報（RTTI）が照会されるなどして解析される。 動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行
探偵ファイル～スパイ日記～／派遣村のやつらを徹底的に尾行してみた／BOZZ
●更新日 ０１／０９● 派遣村のやつらを徹底的に尾行してみた うちの特捜３人とここから探偵を借りて入所者の１０人を尾行したところ、何と８人が就職活動もせず街中をブラブラ、そしてパチンコ三昧だった。 予想していた通りとは言え、こいつらになぜ税金が使われるのかと思うと怒り心頭だ。 パチンコ屋から出てきた入所者を直撃。 三箱勝ったよ。 そういう問題じゃなくて、返さなければいけないお金でしょう？ 受け取ったお金をどう使おうと俺の勝手だろう、この先返そうが返すまいが！ 逆ギレだ。 同じくパチンコ屋から出てきた入所者に取材。耳を疑った。 ４日に渋谷から移ってきて、次の日には一時金が貸与されたんだが、その内の約半分近くがバックれて施設を出て行ったんだよ。どうせ俺ら元から住所など無いんだから、取立てなんか出来ないだろうよ。 国が悪いんじゃない。おまえらの生き方が悪いのだ。 月に５千円でも貯金する頭があった
リア充 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2022年9月） 独自研究が含まれているおそれがあります。（2022年9月） 出典検索?: "リア充" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL リア充（リアじゅう）とは、ブログやSNSなどを通した関係ではなく、実社会における人間関係や趣味活動を楽しんでいること、またはそのような人を指す、主に（日本人の間で）インターネット上などで使われる俗語[1][2]。 対義語として「バーチャル充（バチャ充）」がある[3]。 概要[編集] 「現実生活（リアル）が充実している」ということを「リア充」と呼んでいるのである[1]。 どういう人がこの奇妙な俗語
ゲーデルの不完全性定理 - Wikipedia
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz）または不完全性定理とは、数学基礎論[1]とコンピュータ科学（計算機科学）の重要な基本定理[2]。（数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。） 不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場（英語版）（形式主義）では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する（ゲンツェンの無矛盾性証明（英語版））[3][注 2]。
チューリングマシン - Wikipedia
チューリングの「計算可能数について──決定問題への応用」（1936年）において提示された[2]。同様なものを同年にエミール・ポスト (Emil Post) も独立に発表している[3]。構想の理由、動機についてはポストの論文が明確だが、機械自体に関する記述はチューリングの論文が詳細である。次いで、同時代に提示された他の計算モデルも計算可能性の理論からは同等であることが確認され、チューリング＝チャーチのテーゼはそれらを「計算可能」の定義とすることを提唱した。 ここでは非形式的（直感的）に述べる。理論的には形式的に述べる必要がある。 チューリングマシンには、いわゆるハードウェアに相当するものとして、 その表面に記号を読み書きできるテープ。長さは無制限（必要になれば順番にいくらでも先にシークできる[注 1]）とする テープに記号を読み書きするヘッド ヘッドによる読み書きと、テープの左右へのシークを
)
マクロ (コンピュータ用語) - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2016年1月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2016年1月） 独自研究が含まれているおそれがあります。（2016年1月） 言葉を濁した曖昧な記述になっています。（2016年1月） 独立記事作成の目安を満たしていないおそれがあります。（2016年1月） 出典検索?: "マクロ" コンピュータ用語 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL マクロ (英: macro) あるいはマクロ命令 (英: macroinstruction) は、計算機科学の分野では、アプリケーションソフトウェアの自動操作のよ
チューリング完全 - Wikipedia
チューリング完全（チューリングかんぜん、英語: Turing-complete）とは、計算理論において、ある計算のメカニズムが万能チューリングマシンと同じ計算能力をもつとき、その計算モデルはチューリング完全あるいは計算完備であるという。 チャーチ＝チューリングのテーゼによれば「計算可能関数」は、それを計算しようとする計算モデルがチューリング完全であれば計算できる。 一般的なプログラミング言語の背景にある計算モデルの多くはチューリング完全である。一見単純な機能しか持たない言語がチューリング完全な例としては、Lazy K、Brainfuckなどがある。究極的に単純な計算モデルとしては「ウルフラムの2状態3記号チューリングマシン（英語版）がチューリング完全であると証明されている。 チューリング完全かどうかという事は、計算可能性理論の問題である。計算複雑性の分野の問題である時間や記憶容量の消費量に
On Lisp
Paul Graham著，野田 開 訳 前書き 拡張可能なプログラミング言語 関数 関数的プログラミング ユーティリティ関数 返り値としての関数 表現としての関数 マクロ いつマクロを使うべきか 変数捕捉 マクロのその他の落し穴 古典的なマクロ 汎変数 コンパイル時の計算処理 アナフォリックマクロ 関数を返すマクロ マクロを定義するマクロ リードマクロ 構造化代入 クエリ・コンパイラ 継続 複数プロセス 非決定性 ATNを使ったパージング Prolog オブジェクト指向Lisp パッケージ 翻訳者 野田 開のサイト 原著者Paul Graham氏のサイト (c) 野田 開 NODA Kai <t50473@mail.ecc.u-tokyo.ac.jp>
クロージャ - Wikipedia
クロージャ（クロージャー、英語: closure）、関数閉包はプログラミング言語における関数オブジェクトの一種。いくつかの言語ではラムダ式や無名関数にて利用可能な機能・概念である。引数以外の変数を実行時の環境ではなく、自身が定義された環境（静的スコープ）において解決することを特徴とする。関数とそれを評価する環境のペアであるともいえる。この概念は少なくとも1960年代のSECDマシンまで遡ることができる。まれに、関数ではなくとも、環境に紐付けられたデータ構造のことをクロージャと呼ぶ場合もある。クロージャをサポートする言語によるプログラミングでは、単に関数の中に関数を定義することができるだけでなく、その際に、外側の関数（エンクロージャ）で宣言された変数を暗黙的に内側の関数に取り込んで操作することができる。主な利点としてはグローバル変数の削減やコールバック関数記述の簡素化が挙げられる。 典型的に
アプリケーションサービスプロバイダ - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アプリケーションサービスプロバイダ" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2024年2月） アプリケーションサービスプロバイダ（英語: Application Service Provider、ASP）とは、アプリケーションソフト等のサービス（機能）をネットワーク経由で提供するプロバイダ（＝ provide 提供する 事業者・人・仕組み 等全般）のこと[1]。広義にはこうした仕組みのソフトウェア提供形態やビジネスモデルまでも指す[1]。 概要[編集] ASPはアプリケーションソフトの機能をネットワーク経由で顧客にサービスとして提
ポール・グレアム - Wikipedia
ポール・グレアム(Paul Graham、1964年 - )は、米国のLispプログラマーでエッセイスト。『ANSI Common Lisp』[4]や『ハッカーと画家』[5]の著者としても知られている。 コーネル大学で哲学の学士号を取得し、ハーバード大学でコンピュータサイエンスの分野の修士号(1988年)と博士号(1990年)を取得した。また、ロードアイランドデザインスクールとフィレンツェの美術学校で絵画を学んだ。 1995年にロバート・モリスと最初のASPであるViawebを創立。Common Lispで書かれたViawebソフトウェアでは、ユーザーがインターネットストアを作成することが出来た。1998年、ViawebはYahoo!の45万5000株(4960万ドル相当)と交換でYahoo!に買収され、同製品はYahoo!Storeとなった。 この頃から彼は自身のウェブサイトであるpau
LISP - Wikipedia
LISP（リスプ）は、プログラミング言語である。前置記法などが特徴である。 1958年にはじめて設計されたLISPは、現在広範囲に使用されている高水準プログラミング言語の中でもFORTRANに次いで2番目に古い[1]。ただし、FORTRANと同様に、現在のLISPは初期のものから非常に大きく変化している。 これまでに多数の方言が存在してきたが、今日最も広く知られるLISP方言は、Common LispとSchemeである。 元々、LISPは、アロンゾ・チャーチのラムダ計算表記法に影響を受け、コンピュータプログラムのための実用的かつ数学的な表記法として作られた。そして、すぐに人工知能研究に好まれるプログラミング言語になった。最初期のプログラミング言語として、LISPは計算機科学にて、木構造、ガベージコレクション、動的型付け、条件分岐、高階関数、再帰、セルフホスティング、コンパイラを含む多くの
Common Lisp - Wikipedia
以前のLispでは動的スコープのものも多かったが、Common Lispでは（Schemeと同様な）静的スコープが標準化された。 データ型[編集] Common Lispの型システムは階層的である。型はdeftypeを用いて定義され、typeはsupertype,subtypeという概念を持つ。すべての type は supertype として t (他の言語におけるtrueやObject)をもつ。従って、全てのオブジェクトは型tのインスタンスである。一方、型nilは、どのオブジェクトもそのインスタンスにならない型である。[注釈 2] 型にはbuilt-inな型とそうでないものがある。built-inな型は、整数、浮動小数、複素数、文字等といった(他の言語で言う)プリミティブな型に、配列やストリームなど組み込みの型を合わせたものである。built-inでない型には、構造体、クラスなどがある
Haskell - Wikipedia
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 概要[編集] Haskell は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になるような処理がしばしば簡潔になるばかりではなく、必要に応じて手続き型プログラミングを利用できる。 Haskell は関数型プログラミングの
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ゲームを作成して共有するサイト - Rmake
https://www.unixuser.org/~euske/doc/python/python-lisp-j.html
YouTube - たけしがニートに激怒 「働けよ、バカ野郎！」
クロージャとは コンピュータの人気・最新記事を集めました - はてな
今日22時から放映される「たけしのニッポンのミカタ！」に出ます - phaのニート日記
Perlゼミ(サンプルコードPerl入門)