JaLC IRDB Crossref DataCite NDL NDL-Digital RUDA JDCat NINJAL CiNii Articles CiNii Books CiNii Dissertations DBpedia Nikkei BP KAKEN Integbio MDR PubMed LSDB Archive 極地研ADS 極地研学術DB 公共データカタログ ムーンショット型研究開発事業
CPL (正式名称:Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、萩野達也によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 元々定義されているデータ型が存在せず、何らかの関手の始双代数あるいは終双代数としてデータ型を定義する。プログラムあるいは関数[要曖昧さ回避]は射として、ポイントフリーの形式で記述する。関数の表し方としては射として表すものと冪対象として表すものの二通りがある。元々定義されている関数は恒等関数のみであり、元々定義されている制御構造は関数合成のみである。条件分岐や帰納法などはデータ型の定義に付随して定義される。
Numerical analysis in Javascript The Numeric Javascript library allows you to perform sophisticated numerical computations in pure javascript in the browser and elsewhere. From the blog... Numeric.js 1.2.6 (December 20, 2012) Numeric.js v1.2.5 (December 18, 2012) Numeric.js 1.2.4 (November 19, 2012) More from the blog... Examples Each of these examples runs in the Workshop. Linear algebra Complex
Reactive Scala Driver for MongoDB Asynchronous & Non-Blocking ReactiveMongo is a Scala driver that provides fully non-blocking and asynchronous I/O operations. Scale better, use fewer threads With a classic synchronous database driver, each operation blocks the current thread until a response is received. This model is simple but has a major flaw - it can’t scale that much. Imagine that you have a
「NO.1レシピサイト」が狙う新たな市場とは――。20代、30代女性の利用率は9割。営業利益率では50%を誇る同社が、さらなる成長を目論んでいる。新事業の仕掛け人たちが、それぞれの戦略を明かす。 トップにプレゼンして事業ごと採用 新規事業開発室 葉山茂一 1983年生まれ。東京大学文学部卒業後、マッキンゼー入社。3年でアマゾンジャパンに転職し、バイヤーとして3年半勤務。漢方に関する事業を目的に退職して起業。漢方のウェブサービス立ち上げを目指し、2012年11月クックパッドに入社。同社について「口幅ったいですが、経営道場みたい」と話した。 「漢方デスク」の立ち上げを担当する新規事業開発室の葉山茂一氏は新卒でマッキンゼーに入った後、アマゾンでバイヤーを経験し、その後自身で起業した経験の持ち主である。 「アマゾン時代、仕事はおもしろかったのですが、自分で新規事業をやってみたいという思いが強くなり
IBMの革新的なテクノロジーがさまざまな業界にもたらした驚くべき影響をご覧ください。当社の深い業界知識、カスタマイズされたサービス、業界固有のソリューションは、世界中でクライアントのビジネス変革を支援しています。 自動車 銀行と金融サービス 消費財 防衛 エネルギー 金融サービス 官公庁・自治体 ヘルスケア 保険 ライフサイエンス 製造 天然資源 石油・ガス 小売 宇宙 通信 旅行・運輸 お客様事例 Telefonica IBMとTelefonicaスペインがどのように協力し、アイデアを実際のビジネス価値に変えたかをお読みください。 State bank of India State Bank of Indiaのインテリジェント プラットフォームがどのように顧客を第一に考えているかをご覧ください。 アメリカン航空 より良いカスタマーエクスペリエンスへの道は、クラウドです。
プログラム開発は、多くの人々が目的達成のため、もがき苦闘するタールの沼である – Frederic P. Brroks, Jr., 人月の神話 モジュール性はプログラミング成功の鍵である – John Hughes, 関数プログラミングはなぜ重要か タールの沼の底から タールの沼と聞いて連想するのは大規模なSIである。業務アプリケーションやWebアプリケーションは規模が大きくなればなるほど、複雑さが増し収拾がつかなくっていく。そしてそのようなアプリケーションを大きな単位で上手くモジュール化し、さらには再利用することは不可能に近い。 その技術的な原因の一端、そして問題を解く鍵は、そのようなアプリケーションが常に携えているRDBMSの周辺にあり、さらに言えばおそらくRDBMSとアプリケーションロジックの組み合わせにあると考えている。 ここでは、アプリケーションロジックの実装に関数プログラミング
iOS7を早速インストールしてみてみましたが、正直な感想として「アイブさん、時代が追いついておりません!」という印象です。 リマインダーだけテクスチャが残っていたり、ホーム画面は既存アプリのアイコンとビビッドなiOS7のアイコンが並んだりと、デザインのトーンが混在していてなんともいえない感じになっています。 ただ、実際に使ってみると、これまでのiOSと比較して、触れたときの感覚がスケートリンクの上をスイスイ滑っているかの様に、より心地よいものになっています。 常にUIデザインの世界をリードしてきたiOSが大きく変化したことで、UIデザインに求められる考え方や、プロセス、スキルはどのように変わっていくのか、iOS7のデザインから考えてみたいと思います。 必要なときに必要なものだけ iOS7ではSafariでスクロールに応じてUIが見え隠れするようになっており、ユーザーの操作やコンテンツに合わ
Pythonユーザーが集まり、情報交換し、交流するためのカンファレンス「PyCon APAC 2013」が9月13日、14日に都内で開催されました。PyCon APACはこれまでシンガポールで開催されており、今回初めて日本で開催されました。 (本記事は「Dropboxは全部Pythonで信頼性の高いソフトウェアを作った(前編)~PyCon APAC 2013」の続きです) Pythonは遅いのか? でもたぶん、あなたのアプリはCPUによって制約されているわけではないでしょう。ごく限られた分野、例えばゲームとか科学計算ではないのならば、多くの制約はハードディスクやネットワーク、もしくはメモリから来ているのではないでしょうか。 それにもしも本当にCPUによって制約されているのであれば、そういうアプリはだいたいCやC++で書かれているとは思うけれど、Pythonにも選択肢はあって、それはCyth
Pythonユーザーが集まり、情報交換し、交流するためのカンファレンス「PyCon APAC 2013」が9月13日、14日に都内で開催されました。PyCon APACはこれまでシンガポールで開催されており、今回初めて日本で開催されました。 Pythonは日本ではあまり利用事例が多くありませんが、海外ではGoogleやDropboxなどで使われていることが知られ、人気のあるスクリプティング言語の1つです。Pycon APAC 2013の2日目の基調講演には、そのDropboxの3番目の社員であるRian Hunter氏が登壇、Dropboxの社内事例も交えてPythonの大規模開発について紹介しています。 基調講演の内容をダイジェストで紹介しましょう。 One Million Lines of Python このカンファレンスに呼んでいただけて大変光栄です。日本には初めて来ました。 僕が初
GeoGebra Math Apps for 2D and 3D Graphing, Geometry, Algebra, Calculus, and Statistics! Dynamic mathematics for learning and teaching GeoGebra About Team Blog Help Tutorials Forum Manual Partners Partners Institutes Get Involved Contact us Feedback & Questions This email address is being protected from spambots. You need JavaScript enabled to view it. +43 677 6137 2693
golang - Go言語における埋め込みによるインタフェースの部分実装パターン - Qiita [キータ] http://qiita.com/tenntenn/items/e04441a40aeb9c31dbaf golang はインタフェースがマッチしているかどうかにより処理を切り分けられる。 package main import "fmt" type Person struct { FirstName string LastName string } func (p *Person) Name() string { return p.FirstName + " " + p.LastName } func main() { person := &Person{"Taro", "Yamada"} fmt.Println(person.Name()) } メソッドを保持しているのであれ
構造体 Go言語には、クラスがない。そのため、代わりに構造体(struct)を使い、その型にメソッドを設けることで似たような振る舞いをさせる。 package main import "fmt" type Person struct { FirstName string LastName string } func (p *Person) Name() string { return p.FirstName + " " + p.LastName } func main() { person := &Person{"Taro", "Yamada"} fmt.Println(person.Name()) }
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く