RT @WolframAlphaJP: 電子情報通信学会の電子マガジンB-Plusに #WolframAlpha の開発ストーリーが掲載されました! 弊社を代表する製品, Alphaの開発物語,気になりませんか？

RT @ShinyaMatsuura: ああ、青木宏先生の論文だね。 https://t.co/tJmyG21NKx https://t.co/ksZifmWRXo

RT @Paul_Painleve: William Fulton “Young Tableaux”原著の書評（雑誌数学・尾角正人による） https://t.co/ob1MwiPmdk 「ヤング図形に関 する以下に述べるような内容がこれほど明瞭に，かつ簡潔に証明つきで読める…

@sym_num この記事は単行本「ソフトウェア千夜一夜物語」（正編のほう）に収録されています。また同じテーマで人工知能学会誌に掲載された論文のtexのソースが公開されています。 http://t.co/5XZZ4uliMz http://t.co/AQGrCFWVh2 ご参考に

@jkgf_bot 全角英数字でコードを書かせたOSがあった。つまり、JIS X 0208しかなく、ASCIIやJIS X 0201が無かったわけだ。君たちの生まれる前のことだね。https://t.co/BkRnGYVX1H

@TakaoOzaki 画面の解像度は1024x1024以下だったと思います。 https://t.co/QqakggfA6g

@TakaoOzaki 「論理プログラミングの基礎」という本があり、Prologのふたつの意味論について議論しています。 http://t.co/RwziJRUn2O

唐の楊貴妃は名古屋出身らしい。んなアホな、と思ったが古くは14世紀にその伝説が確認できるとの事…何なら熱田神宮には「楊貴妃の墓」があるらしい。知らなんだ。 https://t.co/VMCqo2Mrsl

@tos_kamiya 車載ソフトとかだと MATLAB/Simulink あたり使ってるのでしょうかね。一応 Simulink にも形式検査ツールはあるみたいですけど、Coq みたいなやつではなさそう。 https://t.co/2G6rBWrDHX

相対論はどこから生まれたか https://t.co/ARvv8rdK9W 良記事だった。 "特殊相対性理論はMichelson-Morleyの実験から生まれたという, ほとんどだれもが当然のこととしている解釈はじつは根拠のない神話であることが, 最近の物理学史研究によって明らかとなる. "

ああ、青木宏先生の論文だね。 https://t.co/tJmyG21NKx https://t.co/ksZifmWRXo

ラムダ計算の型問題について —数学基礎論からプログラミング言語の構造へ— https://t.co/OS1rGhnzhm 藤田先生の記事だ．