Slack Archive – A Blog For The Open Source Community
If you are a tech-savvy or you are a web developer, you must know what GitHub is. However, there are many people who might be reading or hearing about GitHub for the first time. It is a website, which is being used by developers and coders for different purposes. If we talk in the technical language, it is a service based on the cloud where the developers can store their codes, can work on their c
熱ノイズを選り分けて電流を流すことに成功
日本電信電話株式会社（本社：東京都千代田区、代表取締役社長：鵜浦博夫、以下 NTT）は、トランジスタ※1内でランダムな方向に動く電子（熱ノイズ）を観測し、一方向に動く電子のみを選り分けることで電流を流し、電力を発生することに成功しました。これは、熱力学分野で長年パラドックスとして議論されていたマクスウェルの悪魔※2の原理を利用することで実現したものです。 熱ノイズは無秩序な電子の動きであり、電子の動きを平均化すると、どの方向にも動いていません。一方、電流は一定の方向への電子の流れです。通常、外部電源などを用いず、無秩序な熱ノイズから、電流という秩序性を持った動きを生み出すことは不可能です。しかし、もし個々の電子の動きを観測し一定の方向に動く電子のみ選び出すことができれば、電流を生成することができるはずです。この、電子を選び出す作業をするのが「マクスウェルの悪魔」と呼ばれるもので、150年以
フェデレーション ラーニング：集中トレーニング データを使用しない協調機械学習
.app 1 .dev 1 #11WeeksOfAndroid 13 #11WeeksOfAndroid Android TV 1 #Android11 3 #DevFest16 1 #DevFest17 1 #DevFest18 1 #DevFest19 1 #DevFest20 1 #DevFest21 1 #DevFest22 1 #DevFest23 1 #hack4jp 3 11 weeks of Android 2 A MESSAGE FROM OUR CEO 1 A/B Testing 1 A4A 4 Accelerator 6 Accessibility 1 accuracy 1 Actions on Google 16 Activation Atlas 1 address validation API 1 Addy Osmani 1 ADK 2 AdMob 32 Ads
Singleton types を使ってみる - hyoneの日記
型レベルでのプログラミングをする際、よく「値」が存在しない型 ( i.e. EmptyDataDecls な型。 DataKinds で Promoted されたデータコンストラクタとか。 ) を「型レベルでの値」として扱うけれど、これはつまり実体を持っていないということだから、まるで雲を掴むような話になってしまいわけがわからなくなる。 これに対して、 GHC 7.6.1 では、「型レベルの値」を「ランタイムレベルの値」にマップして、便利に使えるように、 Singleton types という型クラス群が用意されたようだ。 そこで、前回の 型レベルで FizzBuzz で定義した Nat, Result 型を題材に、実際にそれぞれのインスタンスを宣言して、「型レベルの値」を「ランタイムレベルの値」にマップしてみた。 参考にしたサイト https://github.com/ghc/packa
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitBook – Knowledge management for technical teams