Engadget | Technology News & ReviewsAnker's 3-in-1 MagSafe foldable charging station drops back down to its Prime Day price
北海道の小学校の給食がひどすぎる件 :【2ch】ニュー速クオリティ
1 封筒(catv?) 2010/02/09(火) 13:46:08.60 ID:V9OefMUb● ?BRZ(10000)
ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり
ゆーすけべー日記
サキとは彼女の自宅近く、湘南台駅前のスーパーマーケットで待ち合わせをした。彼女は自転車で後から追いつくと言い、僕は大きなコインパーキングへ車を停めた。煙草を一本吸ってからスーパーマーケットへ向かうと、ひっきりなしに主婦的な女性かおばあちゃんが入り口を出たり入ったりしていた。時刻は午後5時になる。時計から目を上げると、待たせちゃったわねと大して悪びれてない様子でサキが手ぶらでやってきた。 お礼に料理を作るとはいえ、サキの家には食材が十分足りていないらしく、こうしてスーパーマーケットに寄ることになった。サキは野菜コーナーから精肉コーナーまで、まるで優秀なカーナビに導かれるように無駄なく点検していった。欲しい食材があると、2秒間程度それらを凝視し、一度手に取ったじゃがいもやら豚肉やらを迷うことなく僕が持っているカゴに放り込んだ。最後にアルコール飲料が冷やされている棚の前へ行くと、私が飲むからとチ
「ラブプラス」とポッキーが，2010年のバレンタインデーを生き延びさせてくれるようです
「ラブプラス」とポッキーが，2010年のバレンタインデーを生き延びさせてくれるようです 編集部：TeT バレンタインデーというと，中2のとき，クラスメイトの千葉君が見知らぬ女子からチョコをもらってきたので，それを2時間目の休み時間にみんなで食べたことぐらいしか思い出せない（あと，手紙もみんなで読んだ。声に出して読みたい日本語）。 だが，2009年末にクリスマスの中止を中止できたように（関連記事），バレンタインシーズンにもまた，KONAMIが「ラブプラス」で合いの手……もとい愛の手をさしのべてくれるようだ。しかも江崎グリコのポッキーと共に！ 題して“「ラブプラス」バレンタインキャンペーン”。 これは，2月10日（水）9：00〜3月13日（土）にポッキーの対象商品を購入し，パッケージに記載されているコードを公式サイトで入力すると，“バレンタイン限定ARマーカー”と“ラブプラス バレンタイン限定
任天堂，宮本 茂氏が語った「ゲーム機を介したコミュニケーションの活性化」。新ハードを開発中との発言も出た，第13回文化庁メディア芸術祭「功労賞受賞者シンポジウム」レポート
任天堂，宮本 茂氏が語った「ゲーム機を介したコミュニケーションの活性化」。新ハードを開発中との発言も出た，第13回文化庁メディア芸術祭「功労賞受賞者シンポジウム」レポート ライター：大陸新秩序 東京・国立新美術館で開催中の「第13回文化庁メディア芸術祭」（関連記事）にて，2月5日，「功労賞受賞者シンポジウム」が行われ，ゲームクリエイターとして功労賞を受賞した任天堂 専務取締役 情報開発本部長 宮本 茂氏が講演を行った。ステージで司会進行を担当したのは，エンターテインメント部門の審査で主査を務めた，スクウェア・エニックス エグゼクティブプロデューサー 河津秋敏氏である。なお，今回の文化庁メディア芸術祭の応募作品総数は2592点で，エンターテインメント部門は622点，そのうちゲームは98点だった。 スクウェア・エニックス エグゼクティブプロデューサー 河津秋敏氏 任天堂 専務取締役 情報開発本
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
