Code Archive Skip to content Google About Google Privacy Terms
朝から晩まで11時間くらいやってた。皆さんお疲れ様でした。 きいたことを即時忘れるタイプなのでメモとっといてよかった。しかし整形する気力がない。 はてな記法を把握してないためところどころおかしいと思う、察してください。あと発表者が言ってないことを書いてあったりする。 ラリー先生基調講演 ききのがしたやんけ LLで未来を発明する 100年後の言語とは まつもと: プログラミング言語とか使わないんじゃね(普通の人にとってはそうなってる) sumii: MiniCaml作った/わかりません/チャーチのλ計算が100年前/電子計算機でなくてもプログラミングは可能かつ必要 数百年前:関数(ライプニッツ、オイラー)、変数(古代ギリシャ、16世紀(ヴィエタ)、ユークリッドの互除法(AC300) GC50年代、ジェネリクス70年代…… 予想することも意図して発明することもできない でも予想してみると、自然
ブログ パスワード認証 閲覧するには管理人が設定した パスワードの入力が必要です。 管理人からのメッセージ 閲覧パスワード Copyright © since 1999 FC2 inc. All Rights Reserved.
Haskellは,次のような特徴をもった関数型言語です: 強力な型システム パラメータ多相のサポート 型クラスによるアドホック多相 非正格で純粋な関数型言語 関数は非正格 遅延評価:無限リストなどのデータ構造の扱いが容易 純粋:参照透明性が保存され,副作用がない モナドを用いたプログラミング 今回は,Haskellプログラムの基本要素である関数と型について, 順を追って解説していきたいと思います. まずは,おおまかな字句構造から: コメントの書き方については,C, JavaやMLのそれと変わりません. それぞれの関数定義や宣言は,セミコロン ';' で区切られ,ブレース '{}' でグループ化されます. しかし,Haskellのレイアウトという構文により, セミコロンを省いた記述が可能です. いまのところ,行頭に文字があったらその行から新しい宣言 くらいに思っておけば大丈夫です.
気が付いたら2012年になってましたね、さぞかしおめでたいことでございましょう。 コミケ前日からちょい体調悪かったのを"成せばなる!"の精神で押し通し、三日目撤収し打ち上げしてる段階で身体はもう限界っぽかったわけですが、帰宅したらもう完全に風邪をこじらせたみたいな具合で寝正月を満喫しました。今更ながらバリキ・ドリンクの一本や二本は飲んでおくべきだったと後悔しております。それはともかく、本年もCOMFRKをよろしくお願い申し上げます。 VOL.3の在庫はしばらくありませんがVOL.2は未だかなりありますよ。 床に伏しているだけなら本も読めようものですが、文字通り寝てたので去年の積読書も手に着かず…やろうと思ったことも出来ず、万事の前提にまず健康ありきと痛感した次第… 皆さん本当に健康に生きましょうね。 未だ"完全復活!(CV:玄田哲章)"ではないですが、明日から仕事だし、新年のご挨拶だけでも
Google Cloud RolesHelp millions build what’s next for their business — explore engineering jobs with Google Cloud. Google AI rolesSearch our new roles in artificial intelligence and machine learning. Consumer HardwareDesign and build the systems that are the heart of the world's largest and most powerful computing infrastructure and products.
上のページへ Cleanで関数プログラミング 【総目次】 Written by Pieter Koopman, Rinus Plasmeijer, Marko Van Eekelen and Sjaak Smetsers. Translated into Japanese by Satoshi Ikeda. 序章 第一部 第二部 第三部 付録 この文書は、原題"Functional Programming in Clean"を、原著作者の許諾を得て、池田 聡が翻訳したものです。 本文書のレイアウトは、Internet Explorer 5.5SP2 & 6.0SP1に最適化されていますので、他のブラウザでは正しく表示されない場合があります。 尚、文字コードは、Shift_JISです。
March 2007 (This essay is derived from talks at the 2007 Startup School and the Berkeley CSUA.) We've now been doing Y Combinator long enough to have some data about success rates. Our first batch, in the summer of 2005, had eight startups in it. Of those eight, it now looks as if at least four succeeded. Three have been acquired: Reddit was a merger of two, Reddit and Infogami, and a third was ac
俺は大学でコンピュータサイエンスを 4 年間学んだ。とはいっても大学自体の学歴・成績は平凡もいいとこ。真の意味でのプログラマのレベルは凡骨もいいところな自覚はある。まぁその大学は自分と似たよーなレベルの人間を毎年輩出してるわけです。 でまぁ、就職活動に真剣に取り組み始めにゃならん時期になんとなしに 2ch (つーかしたらばか)の出身大学の出身学科のスレ見たら驚いた。そこでの議論の趣旨は「コンピュータサイエンスを 4 年学んだ人間はソフトウェア業界以外の進路は何があるか?」だった。 「今更 IT ドカタやる以外ないだろ常考」「公務員ならなんとかなるかも?」「情報科目の教員免許はどうだろうか」「コンピュータに精通した事務員とか会計士とかアリじゃね」「起業とか? 俺たちのスキルじゃ余りにもリスク高すぎるか……」etc,etc ずっとスレを追っていたわけではないが、前向きにソフトウェア業界行きたい
2025 年度 創造情報学専攻入試案内書 (日本語), (English) 研究科共通の募集要項の案内ページ 重要な日程 研究科入試説明会 詳細は研究科全体の「入学・進学案内」を参照ください. 専攻入試説明会 日時 2024年5月11日(土) 14:30~15:30 場所 本郷キャンパス I-REF棟 6階 Hiloby オンライン https://u-tokyo-ac-jp.zoom.us/j/86037025244?pwd=3qT8m2UTLjul5bpB1cC0jXfoRiiks6.1 各研究室の個別説明の場所については, こちら をご覧ください. 夏入試 出願受付期間 2024年5月31日(金)-6月6日(木) 17時(日本時間) 冬入試 出願受付期間 2024年11月13日(水)-11月19日(火) 17時(日本時間)
Trac月使えば大抵揃ったりしますが。 管理系 WebAdminPlugin Tracの設定変更をTrac上から行えるようにするプラグイン。Tracを管理するなら必須に近い。 AccountManagerPlugin 各ユーザ自身でパスワードの変更・管理等を行えるようにするプラグイン。設定によっては誰でもアカウントを追加できるようになるため注意が必要。 外部制御系 XmlRpcPlugin 名前の通り、XML-RPCでのTrac制御を可能にするプラグイン。EclipseのMylarとTracを連携する時などに。 HttpAuthPlugin httpアクセス時の強制認証を有効にするプラグイン。XmlRpcPluginを使ってMylarとの連携を行う場合、このプラグインも導入しないと正しく認証が行われない。 Wiki関連 TracNav Tracナビゲーションバー(バーと言うよりボックスだが
http://d.hatena.ne.jp/scinfaxi/20080527/1211919944 に触発されて、http://d.hatena.ne.jp/hrkt0115311/20080527/1211891558 を Squeak Smalltalk で書いてみました。 | モンスターたち スキル群 最高レベル 経験値を得た旨 最終レベル到達の旨 割愛の旨 レベルが上がった旨 | モンスターたち := #('焼きたてパン' '強いシャチホコ' 'もんじゃ焼き一年生' '怪人ホタテ男' 'ニセ勇者' '逃げ足の早いアレ' '睡魔' '煩悩' '愛らしい子犬の中の人' '恋するスズメバチ' '勇敢なクマンバチ' '信じられない物' '勇者の師匠' '浮遊する鎧' '怪盗ドボン' '闇の招き猫' '誘惑のカスタードクリーム' 'しょっぱすぎる籠手' 'カレー味の兜' '光沢だけは一流の
[Chicken-users] macro systems and chicken (long) を読んだ(via http://fixedpoint.jp/)。R6RS で Scheme 標準のマクロシステムは syntax-case と syntax-rules になったが Chicken では他の様々なマクロシステムも使うことができる。以下要約みたいなもの。 背景マクロシステムには完全に直交するふたつの側面がある。健全である(Hygienic)か健全でないか、と、高レベルであるか低レベルであるか、ということである。健全であるというのは自動的に識別子の衝突を回避する仕組みがあるかどいうかということであり、低レベルというのは、入力となるソースコードを Lisp の基本関数を使って直接操作することを指し、高レベルというのは syntax-rules のように専用のパターン言語を使って構造を
Lispの進化 Guy L. Steele Jr. Richard P. Gabriel Thinking Machines Corporation Lucid, Inc. 245 First Street 707 Laurel Street Cambridge, Massachusetts 02142 Menlo Park, California 94025 Phone: (617) 234-2860 Phone: (415) 329-8400 FAX: (617) 243-4444 FAX: (415) 329-8480 E-mail: gls@think.com E-mail: rpg@lucid.com 要約 Lispは世界で最も偉大な言語である - いや、支持者はそう考えている。 Lispの構造は、言語を拡張することや、何もないところから始めることなしに 完全に新しい方言を実装す
I’ve been investigating using LLVM for Rubinius, so I’ve been doing some very small scale experiments. I typically do this on most projects, to get a mental handle on the problem. In doing this, I’ve written a very tiny VM to play with how LLVM handles it. Here is the breakdown of the entire VM: Only operates on ints. Uses numbered registers for operations. 3 Instructions: set(reg, val) Set regist
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く