サービス終了のお知らせサービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
ブラック大学の内部からみた現状
東北大学がブラック企業にノミネートされた。 俺は東北大学を今年卒業した社会人だが、覚えてる範囲で概略をつらつら述べてこうと思う 俺がいたのは理学部のとある学科だ。そこでマスターまでとった。 修論を書いてる時は心労でマジで死ぬかと思った。何度か理学部にある総合棟から身を投げそうになった。 今から話す内容はあくまで一部の事である。特定を避けるためにあえて抽象的にしてある。すまない。 ブラック企業に選ばれた理由を理解してもらう一番簡単な方法は深夜、何時でもいいから東北大学のキャンパス、特に山の上と呼ばれる青葉山付近に来てみることだと思う。 いくつかの研究室に明かりがついている。しかも、決まって同じ部屋に。 東北大学のすべての研究室がブラックということではない。特定の研究室がブラックなのだ。 しかし、そのブラック研究室の労働環境は想像を絶する。 土日も来るのは当たり前、深夜12時を回っても帰る学生
起業研究して分かったが、今の日本にはサイエンス(科学)とチャリンチャリン屋台の間が無い。 | 京都の自習室・コワーキング | べーコン研究室
起業研究をしていて気づいたのは、日本にはサイエンス&テクノロジーと、個人レベルの金儲け=チャリンチャリン屋台の間を語る文脈が無いという事。 エンジン付き自転車が後にオートバイになり。西海岸の片隅にあるガレージでオタクが作った工作電子機械が後にパーソナルコンピュータになったような文脈だ。(または、始めは出会い目的で作られたＳＮＳが世界に広がったように) 先日、ベーコン研究所のパーティーで、あるシステムを開発して製品化し、大きく当ててセミリタイアしたTさんとお話した。(後日、ベーコン放送に出ていただきました。ありがとうございます) 私は技術者ではないから、Tさんにお話しいただ氏の軌跡を完全には理解していないが、30歳でサラリーマンを辞めて独学でプログラミングを学び、在野で人工知能の研究をはじめて、またそのスキルを応用してビジネスを初めて・・という流れだったと思う(少し違うかも) Tさんの話から
GraphvizのDOT言語をJavaScriptで実装·canviz MOONGIFT
canvizはCanvasを使ってDOTファイルをグラフ化するソフトウェアです。 フローチャートなど複雑なグラフを描くのに適しているのにDOT言語が知られています。通常、Graphvizを使って画像化するのですが、今回はcanvizを紹介します。なんとDOTファイルを読み込み、Webブラウザ上にCanvasタグで描き出してくれます。 例。かなり複雑な関係性を表示しています。 別なグラフ。こちらも関係性が複雑です。 レイアウトを変更するとグラフも全く別物になります。 表示の大きさは自由に変えられます。 こんな図も。 複数線がつながっている、そんな表示も実現します。 色付きの枠。 グルーピング。 グルーピングでさらに色付き。 ノード自体が色付き。 14の頂点で相互につながっています。 同じグラフもレイアウトを変えるとこんな感じに。 Graphvizを使う場合は主に個人用途、もしくは変換後の画像
【レポート】データサイエンティストに求められる能力とは? - 大阪ガス 河本氏 （マイナビニュース） - Yahoo!ニュース
【レポート】データサイエンティストに求められる能力とは? - 大阪ガス 河本氏 マイナビニュース 6月28日(金)11時10分配信 ●他社に先駆けた、データサイエンティストの専門組織 これまでは企業が扱うことのできなかった膨大な量のデータ、もしくはその価値に気づかずに利用して来なかったデータを分析し、ビジネスに役立つ提案を行うデータサイエンティスト。過去にも増してデータ活用の重要性が問われる昨今、彼らは世界中で"引っ張りダコ"。新たに雇用するのが難しく、育成にも時間がかかるため、その需要は急激に高まっている そんな時勢において、データサイエンティストの専門部隊を組織し、業務変革の実績を上げているのが大阪ガスだ。本誌は、同社 情報通信部ビジネスアナリシスセンターの所長、河本薫氏に、同社におけるこれまでの取り組みと、データサイエンティストに求められる資質などについて話を聞いた。 ○他社に
Squeak Smalltalk で、カスケードと thisContext を使って FizzBuzz - Smalltalkのtは小文字です
Ruby勉強会@札幌-26 - Ruby札幌 | Doorkeeper で Smalltalk（特に Squeak Smalltalk）の thisContext を含めた変態さん機能をご紹介した流れで、今まで書いたことのないタイプの FizzBuzz 実装を思いついたのでメモ。 Integer >> fizz ^self fizzBuzz: ((self isDivisibleBy: 3) ifTrue: ['Fizz'] ifFalse: ['']) Integer >> buzz ^self fizzBuzz: ((self isDivisibleBy: 5) ifTrue: ['Buzz'] ifFalse: ['']) Integer >> fizzBuzz: fizzBuzzString | caller result | caller := thisContext sende
Prolog and Logic Programming
Pure, declarative, and constructive arithmetic all-mode relations Universal quantification, impredicative terms, and effects Minimization of a Finite Automaton leanTAP theorem prover in Kanren Soutei, a logic-based trust-management system Beyond pure Prolog: power and danger Lambda-calculator and alpha-conversion in pure Prolog leanTAP theorem prover in pure Prolog ENKITEI: Interactive proof syste
The weirdest languages
Which natural languages are weirder? (1) German, Spanish, and Mandarin, or (2) Indonesian, Turkish, and Hungarian? Surprise!Posted 06.21.2013 We’re in the business of natural language processing with lots of different languages. In the last six months, we’ve worked on (big breath): English, Portuguese (Brazilian and from Portugal), Spanish, Italian, French, Russian, German, Turkish, Arabic, Japane
Emacs + org-mode + python in reproducible research; SciPy 2013 Presentation
Authors: Kitchin, John Carnegie Mellon University Track: Reproducible Science We will discuss the use of emacs + org-mode + python in enabling reproducible research. This combination of software enables researchers to intertwine narrative and mathematical text with figures and code that is executable within a document, with capture of the output. Portions of the document can be selectively expor
リージョン選択(松山智大) — ありえるえりあ
前回は、コピーアンドペーストというエディタにおけるごく基本的な操作を通して、リージョンの概念と基本操作を説明しました。今回は、前回あまり説明しなかったリージョン選択を、具体的に実用できるものとして取り上げたいと思います。 (Emacsにおける)リージョン選択という操作では、前回説明したC-SPCでマークを設置してカーソルを移動することによりリージョン選択を行う方法は、ある意味では最後の手段です。Emacsを利用する理由は人によって様々だと思いますが、Emacs使用者としておそらく追求すべきことは、タイプ量を減らすことです。それを考えると、例えばALongLongWordという単語をコピーするためにC-SPC C-f C-f C-f ...とカーソル移動を何度も行うのはEmacs使用者として怠惰であると言えます。この場合だと、前方に単語移動するM-f (forward-word)を使ってC-
『Raspberry Pi にHDMI->VGA変換器と、USBディスプレイをつなぐ』
Raspberry Pi にHDMI->VGA変換器と、USBディスプレイをつなぐ | たけおか ぼちぼち日記 Raspberry Pi の表示ネタ 1.Raspberry Piに HDMI -> VGA変換器を接続する 2.Raspberry Piに USB Linkなディスプレイを接続する 1.Raspberry Piに HDMI -> VGA変換器を接続する Raspberry Piには VGA 出力が無くて困る。 一般の会議室にあるプロジェクタに接続できないのだ。 そこで、 HDMI -> VGA変換器を購入して使用してみた。 安くていいものが、当然にありがたい。 Amazonで、レビューを見つつ、下記のものを購入し、快調。 ただし、まだ、手持の Benqのディスプレイで使っているだけ。 -- 2013/JUL/07 音についても、うまく出力された。 「HDMI to VGA ad
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Japan's DoCoMo holds out to iPhone mania, but at what cost?
Amazon.co.jp: 稼ぐ力を取り戻せ!: 日本のモノづくり復活の処方箋: 冨山和彦: 本
"temporal logic" prolog - Google 検索
tchap - Overview
Temporal logic
Computational Logic
linTAP: A Tableau Prover for Linear Logic
prolog tic tac toe - Google 検索
CS612 Module weppage (2005-2006)
Tic-tac-toe - Rosetta Code
Tic-Tac-Toe