プログラミング言語と論理学の狭間にてさけぶけもの - 未完成な論を綴るブログ
情報科学をやってきたのだから、死ぬまでに一度自作のプログラミング言語を作ろうと思ったのが2016年後半ぐらいである。プログラミング言語とオペレーティングシステムは情報科学を志した者は誰もが一度は目指す道である（たぶん）。 しかし、思い立ったは良いが、プログラミング言語の研究は論理学を基礎としており、その当時は論理学のろの字もわからなかった。実際には、JAISTの学生時代に小野先生の数理論理学の講義を受けたのだが、その当時は「ANDとOR計算ね」ぐらいの認識しかなかったという体たらくであった。当時は大堀先生もJAISTでStandard MLの講義をしていたので、今にして思えば受講しておけばよかったと思う。 そんなこんなで基礎を習得するのに2年弱かかってしまって、今ようやく自作プログラミング言語の実装に取り掛かっているわけである。本報はプログラミングという情報科学にそびえ立つエベレスト、いや
「流動性知能」を向上させるソフトウェア | WIRED VISION
「流動性知能」を向上させるソフトウェア 2008年5月 7日 サイエンス・テクノロジー コメント： トラックバック (0) Alexis Madrigal 科学者らは、不可能と考えられてきた流動性知能の改善を達成するために、「n-バック課題」の修正版(上記の図)を使用した。この図は、テスト被験者が強制的に絶え間なく続く視覚および聴覚情報を記憶させられる仕組みを表している。 Image: Martin Buschkuehl 脳専門の研究者らが、「流動性知能」と呼ばれる一般的な問題解決能力について、向上させる方法を初めて発見したと発表した。 流動性知能は、人々が新しい状況に適応したり、これまで経験したことのない問題を解決するのに用いられる能力だ。これと対をなす概念は結晶性知能で、こちらは語彙や文法、計算など、習得された技能や知識を指す。 流動性知能に関しては、これまで遺伝的に固定されたものだと
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://jupitoris.jaist.ac.jp/~ytakano/pdf/ytakanospapers/usenix_lisa_2015/lisa15-paper-takano.pdf