GMOペパボ株式会社の技術責任者に就任いたしました - Kentaro Kuribayashi's blog
標題の通り、8/1付けでペパボの技術責任者に就任しました。あわせて、@hsbtさんがチーフエンジニアに就任しました。技術者の体制を強化したことで、Webサービス事業者、すなわち、技術の会社として、さらに高い成果を出していけるよう努めたいと思います。 ちなみに、CTOでも役員でもありません。たとえていえば、技術部長みたいな感じの立ち位置です(うちには技術部という部署はありませんが)。 ところで、その技術責任者の主な役割を、以下のように定義しています。 技術的な会社の意思決定に貢献し、また技術面における中長期的な計画の策定・執行を行う。 経営陣、幹部会議、技術基盤チーム及び技術専門職へ情報の橋渡しを行う。 技術専門職の人事、技術基盤チーム予算に関する責任を有する。 会社におけるエンジニア出身の幹部として、適切な経営判断に貢献するとともに、それを技術者に橋渡しをし、また、技術者がより力を発揮でき
ブラウザで動くラムダ計算器を作った（Scala で） - 詩と創作・思索のひろば
最近 Types and Programming Languages を読んでいて、はじめは我慢していたものの、やはりラムダ式の簡約をコンピュータで確認したい気持ちが高まってきたので、ブラウザで動くものを書いてみた。この本には OCaml による実装の章がときどき挟まれるので、演習の一環ともいえる。 Lambda Calculator "(λx.λy.x y)(λz.z)" といったラムダ式を入力して送信すると（λ は \ で代用可能）、解析された項が出力される。その後1ステップずつ簡約して、項が評価されていく過程を眺められる。評価戦略は TAPL にしたがって call-by-value と call-by-name を提供してるつもりです。毎回どのサブ項が評価されたのかがハイライトされるので、実用的。 同じ項を何度も入力するのが辛いので文字列マクロを導入してあり、"$omega" など
抱っこして歩くと赤ちゃんがリラックスする仕組みの一端を解明 | 理化学研究所
ポイント 抱っこして歩くと赤ちゃんの泣く量や心拍数が顕著に低下 哺乳類の仔がおとなしくなり運ばれる「輸送反応」には触覚、固有感覚と小脳皮質が必要 子は輸送反応により親の育児に協力 要旨 理化学研究所（理研、野依良治理事長）は、哺乳類の子どもが親に運ばれる際にリラックスする「輸送反応」の仕組みの一端を、ヒトとマウスを用いて科学的に証明しました。これは、理研脳科学総合研究センター（利根川進センター長）黒田親和性社会行動研究ユニットのジャンルカ エスポジート（Gianluca Esposito）国際特別研究員と吉田さちね研究員、黒田公美ユニットリーダーらと、精神疾患動態研究チーム、トレント大学、麻布大学、埼玉県立小児医療センター、国立精神・神経医療センター、順天堂大学による共同研究グループの成果です。 私たちは、母親が赤ちゃんを抱っこして歩くと泣き止んで眠りやすいことを、経験的に知っています。同
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
