maia 曰く、

東京理科大学近代科学資料館に保管展示されている「Bush式アナログ微分解析機」が1年半程かけてレストアされ、稼働するようになった（PC Watch）。機械式アナログコンピュータである微分解析機（Differential Analyser）は19世紀の発明だが、最初の実用機はヴァネヴァー・ブッシュらが1930年代初頭に開発した。日本ではその原理を論文で理解し、3台が制作された。展示品は大阪帝国大学理学部で研究開発され1943年に製造されたもの。戦前に作られた微分解析機で、実際に触れながら動作を体験できるのは東京理科大の機械が世界唯一だという。今後は週2回程動かしたいらしいが、詳細は決まっていない。

あるAnonymous Coward 曰く、

「禅問答的に #ATS2 の型理論を説明してみたよ http://togetter.com/li/752948 」というtogetterのまとめが話題のようだ。

通常の型理論では、まず型を定義して、その型のコンストラクタによって値を生成する。ところがこの型理論 "Applied Type System" では既に存在する値に型を割り当てている。 (Applied Type)

この型理論のエポックメイキングなところはコンストラクタを型理論の中で不要にすることによって、ヒープを使わなくても型の実装ができるところだろう。

情報元へのリンク

あるAnonymous Coward 曰く、

あの石黒浩大阪大学教授の監修の下、こんなものが作られているらしい。
不気味の谷を逆手にとったような企画だ。

情報元へのリンク

headless 曰く、

三菱重工とJAXAは3日、小惑星探査機「はやぶさ2」の打ち上げに成功した(NHKニュースの記事、 朝日新聞デジタルの記事、 時事ドットコムの記事)。

はやぶさ2を搭載したH-IIAロケット26号機は12月3日13時22分04秒に種子島宇宙センターから打ち上げられ、約1時間47分後の3時9分ごろにはやぶさ2を分離。はやぶさ2は予定軌道に投入され、打ち上げは成功した。はやぶさ2は約1年後に地球に戻ってきてスイングバイし、小惑星「1999 JU3」に向かう。2018年に1999 JU3に到着して探査を行い、サンプルを採取して2020年末に地球へ帰還する予定だ。

はやぶさ2の打ち上げは11月30日を予定していたが、天候不良により12月1日に延期。しかし、強風が予想されることから12月3日に再延期されていた。

情報元へのリンク

danceman 曰く、

北半球では、より多くの太陽光を集めるためにソラーパネルを南向きに設置するのが一般的となっているが、米カリフォルニア州で行われた調査の結果、パネルを西向きに設置したほうが経済的に得することが分かったとのこと（New York Times、本家/.）。

確かに、南向きに設置すると1日当たりの集光量を最大限化することができる。しかし最も集光量の多い時間帯が昼間となるため、電気使用量が最も多くなる夕方のピーク時とずれてしまう。もしパネルを西向きに設置した場合、電気使用量がピークとなる5時以降でも、最大電気出力の55%を太陽光で発電することができ、10kwの場合だと5.5kwとなる。一方で南向きに設置した場合だと、最大出力量のたったの15%（1.5kw）しか太陽光発電できないのだそうだ。

パネルが常に太陽の方向を向くようトラッカーを付けるという方法もある。集光量が45%もアップするようだが、こちらはお値段が高いとのこと。パネルを買い足して西向きに設置したほうが良さそうだ。

taraiok 曰く、

地球でもっとも豊富にあるとされる鉱物には、見たものがいないことから名称も与えられてこなかった。この物質は地球の体積の3分の1以上を占めるが、地表から約2700キロの深さにあるマントル部にあり入手が困難であったためだ。数々の実験と理論では何十年も前から存在が確認されていたものの、国際鉱物学連合の基準を満たす量を入手することはできていなかった（Motherboard、Science、slashdot）。

しかし、最近になって隕石の中からこの物質を入手することができた。また名称も今年になって高圧に関する研究でノーベル物理学賞を受賞したパーシー・ブリッジマン氏にちなみ「bridgmanite」と名付けられた。ネバダ大学のOliver Tschauner氏らの研究チームは、入手したbridgmaniteを元にした論文を発表。この分析による新たな発見はなかったが、これまで科学者が長い間信じていたことを確認することはできたようだ。

あるAnonymous Coward 曰く、

12月３日、NTTレゾナンドは日本語の形態解析APIをオープンソースとして公開した。
今まではMecabというNAISTが開発した日本語形態解析エンジンがあったが、技術及びデータベースについてどちらが優れているのだろうか。
できればGNU Aspellに統合してもらい、FirefoxやLibreOfficeで日本語のスペルチェックができるようにしてもらいたい。

情報元へのリンク

あるAnonymous Coward 曰く、

オバマ大統領は1日、白人警察官による黒人青年射殺事件を受け、警官の小型カメラ装着を推進することを決めた。導入には各州や地方の警察との同意が必要となるが、警官が装着する小型カメラを今後3年間で約5万台追加導入し、警官に訓練を施す方針であるという。必要な予算として2億6300万ドル（約310億円）を議会に要求する（THE HILL、AFPBBNews、本家/.）。

事件の不起訴を受けて発生した暴徒の鎮圧に、ファーガソン警察が軍用の払い下げ装備を使用していたことも批判の対象となった（過去記事）。これに対し、オバマ大統領は軍の余剰装備を連邦政府から警察に払い下げるという現行制度については撤廃はせず、機器の誤用や乱用を防止する新たな指針を定める大統領命令を発令するとしている（White House、毎日新聞）。

あるAnonymous Coward 曰く、

全国銀行協会は、他行向けに現金振り込みできる時間帯について、現在の「平日午後3時まで」から最低でも「平日午後6時まで」延長する努力目標を設けるそうだ。2018年中にも24時間処理できる新システムを構築し、希望する金融機関が自由に参加するとのこと。最低限の目標として現金の振り込み時間を平日午後6時まで延ばすとのこと。3メガバンクや信託銀行などの大手銀は午後6時以降の平日夜間や土日祝日も含めて、当日着金処理ができる大幅延長に踏み切る模様。

これに関わるハメになってしまった人々の健康と安全をお祈りさせていただきます。アーメン。

情報元へのリンク