InfoQ: Microsoftのソフトウェアトランザクショナルメモリに関する実験が終了Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
チャーチ数の加減乗除 - MEMO:はてな支店
型推論を無効にする方法を発見。 型推論をごまかす Y コンビネータ L の定義は、本当は L x y = x (y y) です。(y y)の部分が自己言及になって、GHC ではこの部分の型をうまく処理できません。そこで、unsafeCoerce で型推論をごまかしています。 http://d.hatena.ne.jp/kazu-yamamoto/20100519/1274240859 おかげで、断念していたHaskell版のチャーチ数の引き算とYコンビネータを使った割り算(と剰余)が作れた。 これで加減乗除の基本演算がそろった。感謝。 import Unsafe.Coerce m x = x (unsafeCoerce x) y f = m (\x -> f (m x)) true x y = x false x y = y not' p = p false true and' p q =
～翼を広げて～ IKAROS（イカロス）専門チャンネル
---↑この画像はIKAROS(イカロス)が宇宙で撮影した画像です！--- IKAROS搭載分離カメラについて IKAROSにはセイル（帆）が四角く広がったところを写真で撮るために分離カメラが乗せられています． 分離カメラはIKAROS本体から小さいカメラをヒョイっと飛ばして， 遠くに離れていく途中にIKAROS自身を写真で撮って，電波でIKAROSまで写真を送る無線カメラです． カメラは直径5.5cm，高さ5cmと小さいのですが遠く離れたところからでも電波を送ってくる頑張りやさんです． 残念ながら電池しか持っていないので，電池がなくなってしまうと電波を送れなくなってしまいます． 働ける時間は15分くらいととても短いのですが、頑張って働いた後は世界最小の人工惑星となって太陽の周りをIKAROSと一緒に飛び続けます． 分離カメラは次の絵にあるように太陽電池パネル(SAP)側に2台搭載されて
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
