Package index for the ReasonML/BuckleScript ecosystem
Het startpunt was een doeltje maken voor de vereniging van onze oprichters. Met een paar doelnetten en de juiste las-skills werden de eerste doeltjes neergezet. Al snel kwam de volgende club en zo ging het balletje rollen. Maar dat is niet het complete verhaal. We nemen je graag mee door de tijd van SKOR. Oprichting onder naam ERMA Uitbesteding Het startpunt. Sport was niet direct de hoofdactivite
Skip navigation Clients Archive Projects Journal About Subscribe Contact RSS Search: August 20, 2009 SKOR (Foundation on Art and Public Space) Lecture by Nicolas Bourriaud to launch issue #17 of Open, Cahier on Art and the Public Domain, at the 11th Istanbul Biennial. Date and time: September 13th at 11 am Location: Akbank Sanat Beyoğlu, Conference Hall http://www.skor.nl http://www.opencahier.
Nicolas Bourriaud (born 1965) is a French curator and art critic, who has curated a great number of exhibitions and biennials all over the world. Bourriaud was the Paris correspondent for Flash Art (1987–1995) and the founder and director of the contemporary art magazine Documents sur l'art (1992–2000). He was also one of the 13 co-curators of the “Aperto” section of the 1993 Venice Biennale.[1] W
skor.nl は、あなたがお探しの情報の全ての最新かつ最適なソースです。一般トピックからここから検索できる内容は、skor.nlが全てとなります。あなたがお探しの内容が見つかることを願っています!
French theorist Nicholas Bourriaud, a curator at the Palais de Tokyo in Paris, and curator Karen Moss, Director of Exhibitions and Public Programs at the San Francisco Art Institute, settled down with Stretcher inside an artwork by Andrea Zittel to discuss the role of curators in contemporary art. Zittel’s Pit Bed was installed in SFAI’s galleries as part of Bourriard’s exhibition TOUCH: Relationa
1818 小説「フランケンシュタイン、すなわち近代のプロメシュース」 Frankenstein: or The Modern Prometheus メアリー・シェリー Mary Wollstonecraft Shelley 北極探検の航海に出た青年ウォルトン船長が、平穏に暮らすロンドンの姉に手紙を送る。読者は、手紙の受手である姉の立場に立って、ウォルトンの手紙を読むこととなる。この世の読者を、あの世の異常な物語に導入する手法である。 ●ウォルトン船長 北極点を目指す探検家。現実世界の常識を忘れて、想念世界にこもり高揚している。 ●サヴィル夫人 船長の姉 ロンドンに住む中産階級の愛情深い優しい姉 イングランド サヴィル夫人宛 1711年12月11日 ペテルブルクにて 昨日こちらに着きました。そこで手初めに、ぼくの愛する姉上に安心してもらおうというわけです。ぼくは元気です。そして、この企ての成
/t5/premiere-pro%E3%83%95%E3%82%A9%E3%83%BC%E3%83%A9%E3%83%A0-discussions/%E3%82%A6%E3%82%A7%E3%83%96%E3%82%B5%E3%82%A4%E3%83%88%E3%81%AE%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%93%E3%82%B8%E3%83%A5%E3%82%A2%E3%83%AB%E7%94%A8%E5%8B%95%E7%94%BB%E3%81%AE%E6%9B%B8%E3%81%8D%E5%87%BA%E3%81%97%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6/td-p/9709227 Feb 12, 2018 Feb 12, 2018
モーニング娘。がアイドルグループとして“成人”を迎えた。今では当たり前となったメンバーの加入や卒業といったサイクルの礎を築くなど、この20年でアイドルシーンにもたらした影響はあまりに大きい。ORICON NEWSではプロデューサーを務めてきたつんく♂(49)に文字を打ち込む形式でインタビューを敢行。前編の今回は何がモーニング娘。を国民的アイドルグループたらしめたのか、転機となった瞬間などを聞いた。 【写真】その他の写真を見る ■強運を持ち合わせるグループ 本音は「長く続ける気はなかった」 2018年1月18日。この日はモーニング娘。(現・モーニング娘。'18)のメジャーデビュー20年目の記念日だった。名古屋で行われたハロー!プロジェクトのメンバー総出演のコンサートで1期メンバー5人(中澤裕子、飯田圭織、安倍なつみ、石黒彩、福田明日香)が集合し、大きな話題を集めた。つんく♂は「よく頑張ったな
人気キャラクターのガチャピン、ムックが出演するBSフジの子供向け番組『ポンキッキーズ』が25日、最終回を迎え、前身番組から続く45年の歴史に幕を降ろした。 冒頭からしょうしょうこと春風亭昇々は「ポンキッキーズは、みんなの心の中に絶対いるよ。我がポンキッキーズは永久に不滅です!」とボケまくり、さくらこと藤原さくらから「早いでしょ!」とツッコまれていた。内容はしょうしょうとさくらの1年を振り返るものでガチャピンとムックもナレーションを担当した。 最後はガチャピン、ムック、谷花音やシスターラビッツが大集合。ガチャピンは「テレビの前のみんな、長い間、本当に本当にありがとう。僕はみんなのことを忘れない。だから、みんなも僕たちのこと、ポンキッキーズのことを、これからも絶対に忘れないでね」と話し、「また、どこかで会えるといいなぁ。またね! ありがとう!」とガチャピンらしく元気いっぱいにさよならを告げた。
つんく♂がモーニング娘。のプロデュースをスタートさせてから20年を迎えた。ORICON NEWSでは文字を打ち込む形式でインタビューを敢行。前編でモー娘。への思いを語ったつんくが、後編では自身の思い描く理想のアイドル像について語った。今もプロデューサーとしてらつ腕を振るうつんく♂が求めるものとは。ロングインタビューで、プロデュース業への思いが垣間見えた。 【写真】その他の写真を見る ■近大、ラストアイドル、代々木アニメーション学院 多岐にわたるプロデュース つんく♂は2014年から母校の近畿大学で入学式のプロデュースをしている。「普通、考えられないことをやっていいですよって言われている。そういうふうな運営委員で、ありがたい」と話す。15年には声帯を摘出したことを入学式で発表した。「今思えば、僕が声帯をとったことを、あそこで発表する意味はなんやったろうなって。なんてことをしてくれるんだよって
Reason 面白そうだったので、ちょっと触った感想を残す。 まとまってなかったり、情報が古かったりする可能性もあるので注意下さい。 1. BuckleScript Reason を知る前に、まずは BuckleScript を知る必要があった。 What & Why - Intro - BuckleScript Concepts Overview - Intro - BuckleScript BuckleScript は、OCaml Compiler の為の新しい Backend ( 中間形式からコードを生成する部分 ) で、OCaml ( or Reason ) を受け取って、Javascript を生成する。 OCaml と Javascript のスムーズな統合 を志向しており、相互運用性を高めるためのアイデアが各所に散りばめられている。 Readable な Javascript
書評(文献レビュー) 政治外交史 【書評】『越境者の政治史―アジア太平洋における日本人の移民と植民』 塩出浩之著 (名古屋大学出版会、2015年) December 25, 2017 日中関係 東アジア 政治 歴史 日米関係 政治外交検証:書評 評者:川島真(東京大学大学院総合文化研究科教授) なぜ「越境者」の政治史なのか―本書のモチーフ― 本書は、サントリー、毎日、角川の三賞を受賞した著作であり、学術誌でもすでに多くの書評が公にされるなど、大きな反響をよんだ。歴史学と政治史学との間に位置する本書は、日本近代史を「移民」の観点から見直そうとしたものである。そのために、オーソドックスな帝国史だと思って手に取ると、読者は意外な感を抱くだろう。 「越境者の政治史」と題された本書のモチーフは、サントリー学芸賞受賞に際しての著者の言葉に現れている [1] 。著者は、「本書の執筆を通じて分かったのは、
これは Reason ML Advent Calendar の1日目です。時を遡って1日目です。思い立ったんでカレンダーごと作りました。 注意点として、基本的に、多少コンパイラとかメタプロが好きな程度のJSプログラマとしての視点で書いています。 ocaml ユーザーではありませんので、間違いがあったら編集リクエストやコメント欄などでご指摘ください。 Facebook の chenglou 氏が作ってる ocaml の言語拡張で、1方言という位置づけです。chenglou氏は react-motion の人というと React界隈では通りがいいと思います。 Reason の一番の特色は ocaml に js っぽいフレーバーの構文にしつつ、React.js の JSX 構文に対応していて、 BuckleScript をバックエンドしながら JS を生成して、 React アプリを簡単に作れる
Australia-UK: First non-stop flight arrives in London from Perth
What is included in my trial? During your trial you will have complete digital access to FT.com with everything in both of our Standard Digital and Premium Digital packages. Standard Digital includes access to a wealth of global news, analysis and expert opinion. Premium Digital includes access to our premier business column, Lex, as well as 15 curated newsletters covering key business themes with
March For Our Lives: 'Fight for your life before it’s somebody else’s job.' Student leader and Parkland high-school shooting survivor Emma Gonzalez gave an impassioned speech at the March For Our Lives rally in Washington DC. She listed the names of the 17 victims in Parkland, and then stayed silent on stage until six minutes, 20 seconds had elapsed since her entrance - the time it took for her fr
Mike Hamende, a nuclear power plant operator, added a glow-in-the-dark dial to his watch (Credit: Mike Hamende) How do you go about making your own mechanical watch? Chris Baraniuk finds out. “It probably started on Reddit,” recalls Matthew Wright, an engineer from Brisbane, Australia. Online, he stumbled on a couple of posts from people who had made their own watches. He’d never even thought abou
転職面接が決定したが、何を聞かれるのか・何を話せばいいのか心配で仕方ない、という人は多いはずだ。 なかには初めての転職面接だという人もいるだろう。 あなたは、 転職面接でよく聞かれる質問が知りたい転職でよく聞かれる質問の事例と、その答え方が知りたいと思ってはいないだろうか。 また転職面接の答え方については色々な本で紹介されているものの、そのまま引用してしまっては「他の応募者と同じ答え」になってしまう可能性がある。 あなたの背景や経歴に合わせて、うまくカスタマイズすることが重要だ。 この記事は3~4分で読めてしまう内容だが、最後まで読んでもらえれば、理想的な面接回答ができるようになるだろう。 ぜひ転職面接攻略に活かしてほしい。 まず知りたいことは転職面接で何が聞かれるのかだと思うので、転職面接で聞かれる4つの項目から説明していこう。 転職面接で聞かれる4項目の最重要質問と答え方 転職面接で聞
『メディアに操作される憲法改正国民投票』著者・本間龍氏インタビュー 安倍首相が党大会で「改憲」強行を表明! 裏では電通に依頼して国民投票に向けた大規模広告戦略を計画 森友文書改ざん問題で窮地に追い込まれている安倍首相だが、憲法改正はまったく諦めていないらしい。 自民党内では、9条2項の扱いをめぐって意見が対立し、憲法改正案の早急な取りまとめが難しいと言われていたが、22日の自民党憲法改正推進本部の会合では、細田博之本部長らが強引に「本部長一任」を取り付け、9条への自衛隊明記、参院選の「合区」解消、教育充実、緊急事態条項の4項目の条文案を固めた。 これは明らかに今日の党大会に間に合わせるためのもので、実際、安倍首相の党大会演説も、改憲を前面に押し出すものとなるという。 森友問題によって、改憲日程が狂ったなどとする報道もあったが、むしろ逆で、森友隠しのためにも、死にもの狂いで「改憲」を政治日程
概要 netstatやssコマンドにより、あるホストと他のホストとのコネクションを一覧表示できる。しかし、Webシステムの場合、クライアントが並行接続するため、 同一ホストから複数のポートを介してコネクションを確立しているケースが多い。コネクション数が大きい場合は、1万以上のコネクションが表示され、ホスト間のコネクション状況を人間の目で概観することが難しかった。 そこで、同一ホストとのコネクションを集約表示し、コネクション状況を概観する 「lstf」 (「えるえすてぃーえふ」)コマンドをつくった。 github.com lstfの特徴は以下の通り。 コマンド実行ホストを起点に、active openコネクションかpassive openコネクションを判定する。つまり、接続をする側かされる側かを判定する。 各ホストフローごとにコネクション数を表示する Goで実装されているポータビリティ。i3
Fast, Simple, Fully Typed JavaScript from the FutureReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning fast compiler toolchain that scales to any codebase size. module Button = { @react.component let make = (~count) => { let times = switch count { | 1 => "once" | 2 => "twice" | n => n->Int.toString ++ " times" } let text = `Cli
There's an abundance of jubilation and glee in the strums, trills, double stops and drones from the Swedish instrumental band Väsen. The trio came to the Tiny Desk with just three instruments, but all together it was a 30-string sonic blast of 12-string guitar, viola and nyckelharpa (a fiddle with keys — think 15th century keytar). Guitarist Roger Tallroth, violist Mikael Marin and nyckelharpist O
2017年5月に日本政府は「Fintechビジョンについて」の中で、「キャッシュレス決済比率」を民間消費支出に占めるクレジットカード、デビットカード、電子マネーによる決済の割合と定義した。2017年6月に閣議決定された「未来投資戦略2017 -Society 5.0 の実現に向けた改革-」では、今後10年間(2027年6月まで)にキャッシュレス決済比率を4割程度とすることを目指すとしている。本稿では、3回に分けて日本のキャッシュレス化の進展状況と今後の課題について整理してみたい。 一般的に日本人は現金決済を好む傾向があると指摘されることが多いが、2016年の現金決済の割合は約49%で、個人消費の半分以上が現金を用いない方法で行われるようになっている(図表1)。2011年との比較で見ると、現金決済の割合が7%減少しているが、この背景としてクレジットカード(+4.6%)、プリペイド・電子マネー
■要旨 状況に応じて障害者を柔軟に支援することで、障害者の権利確保に主眼を置く障害者差別解消法が2016年4月に施行されて2年が終わろうとしている。この法律は障害者の特性や個別事情に応じた「合理的配慮」の提供を行政機関に義務付けており、各行政機関では職員の適切な対応に必要なことを定める「対応要領」の策定などが進んだ。 しかし、障害者差別解消法は「対話→調整→合意のプロセス」を当事者の間で義務付けているだけであり、「合理的配慮として、どういった支援を提供するか」という点については、障害者と行政機関など当事者同士の調整に委ねられている分、分かりにくいのも事実である。実際、障害者差別解消法や合理的配慮の目的や意味が社会に浸透しているとは言えないだろう。 本レポートでは、合理的配慮を中心に障害者差別解消法の内容を詳しく解説するとともに、自治体の動向やメディアの報道ぶりなどを基に、2年間の動きを考察
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
保険研究部 主席研究員 兼 気候変動リサーチセンター チーフ気候変動アナリスト 兼 ヘルスケアリサーチセンター 主席研究員 篠原 拓也 疫学では、環境と病気の関係を把握するために統計学を用いた研究が用いられることが多い。これは、ある環境に置かれた人が、特定の病気にかかりやすいということを、患者のデータをもとにつきとめようとするものである。 研究方法は、大きく、前向き研究と、後ろ向き研究に分けられる。前向き研究は、時間の順番を追って研究を進める方法で、まず、ある環境に置かれている人と、置かれていない人を複数抽出する。そして、一定の時間が経過した後に、それぞれの中で特定の病気になった人と、なっていない人を把握して、分析をするというやり方である。一方、後ろ向き研究は、時間をさかのぼって個々の人の環境と病気の状況を把握する方法である。現在、特定の病気になっている人と、なっていない人を抽出する。そし
保険研究部 主席研究員 兼 気候変動リサーチセンター チーフ気候変動アナリスト 兼 ヘルスケアリサーチセンター 主席研究員 篠原 拓也 疫学では、環境と病気の関係を把握するために統計学を用いた研究が用いられることが多い。これは、ある環境に置かれた人が、特定の病気にかかりやすいということを、患者のデータをもとにつきとめようとするものである。 研究方法は、大きく、前向き研究と、後ろ向き研究に分けられる。前向き研究は、時間の順番を追って研究を進める方法で、まず、ある環境に置かれている人と、置かれていない人を複数抽出する。そして、一定の時間が経過した後に、それぞれの中で特定の病気になった人と、なっていない人を把握して、分析をするというやり方である。一方、後ろ向き研究は、時間をさかのぼって個々の人の環境と病気の状況を把握する方法である。現在、特定の病気になっている人と、なっていない人を抽出する。そし
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
Recent Posts These are the airports that actually have really fast public Wi-Fi November 7, 2022 Overwatch 2 attracted over 35M players in its first month November 7, 2022 Solana Falls and Speculation Centers on Links to Sam Bankman-Fried’s FTX, Alameda November 7, 2022 AAA gaming companies will look like peanuts as GameFi evolves: Skale CEO November 7, 2022 Judge rules LBRY video platform’s token
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
Recent Posts These are the airports that actually have really fast public Wi-Fi November 7, 2022 Overwatch 2 attracted over 35M players in its first month November 7, 2022 Solana Falls and Speculation Centers on Links to Sam Bankman-Fried’s FTX, Alameda November 7, 2022 AAA gaming companies will look like peanuts as GameFi evolves: Skale CEO November 7, 2022 Judge rules LBRY video platform’s token
Recent Posts These are the airports that actually have really fast public Wi-Fi November 7, 2022 Overwatch 2 attracted over 35M players in its first month November 7, 2022 Solana Falls and Speculation Centers on Links to Sam Bankman-Fried’s FTX, Alameda November 7, 2022 AAA gaming companies will look like peanuts as GameFi evolves: Skale CEO November 7, 2022 Judge rules LBRY video platform’s token
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
Recent Posts These are the airports that actually have really fast public Wi-Fi November 7, 2022 Overwatch 2 attracted over 35M players in its first month November 7, 2022 Solana Falls and Speculation Centers on Links to Sam Bankman-Fried’s FTX, Alameda November 7, 2022 AAA gaming companies will look like peanuts as GameFi evolves: Skale CEO November 7, 2022 Judge rules LBRY video platform’s token
2024年1-5月「税金(社会保険料含む)滞納」倒産81件 前年同期の約3倍に急増、年間では過去最多ペース 税金や社会保険料の滞納が、事業継続の支障になりつつある。 「税金(社会保険料含む)滞納」を一因とする倒産は、新型コロナが5類に移行した2023年は10月から毎月10件以上発生したが、2024年は5月までに合計81件と前年同期の2.8倍に急増。2015年以降の10年間の1-5月累計では最多を記録した。
Note: This is an old/outdated post. For the latest on the design sprint, check out my book Sprint or this how-to guide. Jan 7, 2013 At Google Ventures, we have a five-day process for taking a product or feature from design through prototyping and testing. We call it a product design sprint. This is the sixth in a series of seven posts on running your own design sprint. On day 2 you drew concept sk
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
Recent Posts These are the airports that actually have really fast public Wi-Fi November 7, 2022 Overwatch 2 attracted over 35M players in its first month November 7, 2022 Solana Falls and Speculation Centers on Links to Sam Bankman-Fried’s FTX, Alameda November 7, 2022 AAA gaming companies will look like peanuts as GameFi evolves: Skale CEO November 7, 2022 Judge rules LBRY video platform’s token
Recent Posts These are the airports that actually have really fast public Wi-Fi November 7, 2022 Overwatch 2 attracted over 35M players in its first month November 7, 2022 Solana Falls and Speculation Centers on Links to Sam Bankman-Fried’s FTX, Alameda November 7, 2022 AAA gaming companies will look like peanuts as GameFi evolves: Skale CEO November 7, 2022 Judge rules LBRY video platform’s token
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
日本経済の「現在」を理解するための手がかりとして、TSRが長年蓄積してきた企業情報、倒産情報および公開情報等に基づき、独自の視点に立った分析をまとめて発表しています。
1月25日の先月号で、「戊戌九紫火星の2018年は、万物が最高潮を迎え、対策を迫られる年」と予想し、「そうなると関心事は、世界株高、とりわけ上昇基調を辿る日米株の行方、日米欧の金融政策の行方、さらには北朝鮮情勢の行方であろう」と書いた。 日本株の見通しについては「現局面はオーバーシュート局面だと思う。相場のピークが近づいていると思っている。1~3月が相場のピークではないかと思う」とコメントした。そう書いた途端、2月に入り、株価の急落である。 日経平均株価は、1月23日(終値2万4124円、ザラ場高値2万4129円)をピークに、直近の2月14日(終値2万1154円、ザラ場安値2万950円)まで、僅か3週間で、終値ベースで2970円、ザラ場ベースで3179円と急激かつ大幅に値下がりした。明らかな相場の変調である。 先月号に「相場の天井は、相場が崩壊して初めて天井だったと分かる」と書いた。まだ断
March for Our Lives could be the biggest single-day protest in D.C.'s history March for Our Lives organizers estimate 800,000 protesters attended the gun-control demonstration in Washington, D.C., on Saturday. If they're correct, the event would be the largest single-day protest in the history of the nation's capital. The total is bigger than the inaugural Women's March, which brought 500,000 to
Apache/2.4.6 (Red Hat Enterprise Linux) Server at zoo.cs.yale.edu Port 443
Digital Innovators Grand Prix (DIG) とは 世界をいい方向に進化させる デジタルの力を活用する 企業、アカデミズム、 地域社会、行政機関、世代、 立場を超えて連携させる 人類には熟練や博覧による「創造」がある一方で、若さとチャレンジ精神こそが成し得る「創造」もある。デジタル・ネイティブ世代は、膨大なデータを瞬時に活用して未来を創造できるという点で、どちらの術も手にした新世代だと言える。本コンテストは学生諸君がデータを広く深くDIGして新たな知の抽出や価値の創出を競う場を提供するとともに、才能の原石である自分自身をDIGする機会を提供することを目的とする。 「Dig」のブランドは、慶應義塾大学データビジネス創造コンソーシアムとアクセンチュアの出会いから生まれました。アクセンチュアがビジネスパートナーとなった第2回データビジネス創造コンテストにおいて、産・学が
2018年4月2日(月)より、文献取り寄せ(文献複写・図書貸借)の料金支払窓口を変更いたします。 対象となるのは、他大学や他キャンパスから取り寄せた文献複写および図書貸借にかかる料金(私費)で、受取館が「附属図書館」のものです。 附属図書館カウンターで行っている現金収納業務の一部を京大生協に委託するのに伴い、今後は京大生協が文献取り寄せの料金支払窓口となります。 変更後(2018年4月2日(月)以降) 〇受取窓口 附属図書館相互利用カウンター 時間 平日 9:00-16:45 〇支払窓口 京都大学生協 時計台ショップ 時間 平日 10:00-20:00 土曜日 11:00-15:00 (日・祝日は閉店) ※春季休業期間中(4月8日まで)の営業時間は、平日 10:00-18:00、土日祝 閉店。 *お釣りの心配は不要です。受取時間、支払窓口店舗は順次拡大予定。 〇文献受け取りから支払いの流
Protocol Action: 'The Transport Layer Security (TLS) Protocol Version 1.3' to Proposed Standard (draft-ietf-tls-tls13-28.txt) Return-Path: <iesg-secretary@ietf.org> X-Original-To: ietf-announce@ietf.org Delivered-To: ietf-announce@ietfa.amsl.com Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id AA3D512420B; Wed, 21 Mar 2018 03:02:02 -0700 (PDT) MIME-Ver
HIP is a C++ Runtime API and Kernel Language that allows developers to create portable applications for AMD and NVIDIA GPUs from single source code. Key features include: HIP is very thin and has little or no performance impact over coding directly in CUDA mode. HIP allows coding in a single-source C++ programming language including features such as templates, C++11 lambdas, classes, namespaces, a
Today I installed CUDA 9 with the Visual Studio 2017 integration. When creating a new CUDA 9 project and building, I got the error: Error C1189 #error: – unsupported Microsoft Visual Studio version! Only the versions 2012, 2013, 2015 and 2017 are supported! With some debugging, I found that on line 131 of file host_config.h in directory “C:\Program Files\NVIDIA GPU Computing Toolkit\CUDA\v9.0\incl
顕微鏡で観察したiPS細胞。未来医XPO(神戸国際展示場)にて。 人工多能性幹細胞(じんこうたのうせいかんさいぼう、英: induced pluripotent stem cells[注 2])は、体細胞へ4種類の遺伝子を導入することにより、ES細胞(胚性幹細胞)のように非常に多くの細胞に分化できる分化万能性 (pluripotency)[注 3]と、分裂増殖を経てもそれを維持できる自己複製能を持たせた細胞のこと。2006年(平成18年)、山中伸弥率いる京都大学の研究グループによってマウスの線維芽細胞(皮膚細胞)から初めて作られた。 英語名の頭文字をとって、iPS細胞(アイピーエスさいぼう、iPS cells)と呼ばれる。命名者の山中が最初を小文字の「i」にしたのは、当時、世界的に大流行していた米Apple社の携帯音楽プレーヤーである『iPod』のように普及してほしいとの願いが込められてい
Human-on-a-chipとは単体の組織・臓器の機能ではなく、人体の生体システム全体を再現することを目的としてチップ上に構成された人体の機能を持つ素子の集合体。 概要[編集] Organ-on-a-chipの集合体で、チップ上に半導体製造で培われた微細加工技術を駆使して微細な流路を形成してその上に肺、心臓、腎臓、小腸等の各臓器の細胞を培養する。 腸,肝臓,癌細胞を培養したマイクロチャンバー同士をマイクロ流路で縦列につないだ素子を用いると経口投与薬の体内動態を考慮したドラッグスクリーニングが可能であることが報告されている[1][2]。 ハーバード大学の生体を再現するための材料やデバイスの開発を目指すヴィース生体工学研究所ではアメリカ食品医薬品局(FDA)と国立衛生研究所(NIH)の巨額の研究費が投じられ、動物実験に代わるヒト細胞のチップを用いた医薬品評価を実現するプロジェクトの一環として
Lab-on-a-chip(略称: LOC / LoC)またはμ-total analysis system(略称: µTAS / µ-TAS)とは、チップ上に集積された混合、反応、分離、検出の機能を持つ素子。 概要[編集] 実験室での混合、反応、分離、検出をスケールダウンしたチップ上のマイクロ流路で行う[1]。微小流体素子であるマイクロリアクターの一種でチップ上に半導体製造で培われた微細加工技術を駆使して微細な流路が形成され、精密合成技術や微小流体制御技術を応用した素子でMicro-TASも包括する。 歴史[編集] 初期のLab-on-a-chipは1970年代に開発されたガスクロマトグラフィーであった[2]。その後、徐々に開発が進められつつある。 Organ-on-a-chip[編集]
Organ-on-a-chipまたは生体機能チップとはチップ上に構成された臓器の機能を持つ素子。 概要[編集] マイクロリアクターの一種でチップ上に半導体製造で培われた微細加工技術を駆使して微細な流路を形成してその上に臓器の細胞を培養する。ハーバード大学の生体を再現するための材料やデバイスの開発を目指すヴィース生体工学研究所ではアメリカ食品医薬品局(FDA)と国立衛生研究所(NIH)の巨額の研究費が投じられ、動物実験に代わるヒト細胞のチップを用いた医薬品評価を実現するプロジェクトの一環として肺チップと小腸チップの開発が進められる[1][2]。 従来の人工臓器では再現できなかった生体の機能を再現する事が可能で動物実験の代替の選択肢としても、近年、開発が進みつつある[3][4]。 関連項目[編集] 微小流体素子 Micro-TAS Lab-on-a-chip マイクロリアクター 出典[編集]
背景 APIサーバー開発などを今までRuby(主にRails)で開発していたRubyistがサーバーサイド全部をフルGolangで実装している会社に転職して、2週間が経ち今までのGolang開発で学んだことをまとめました。 これからGolang開発をするRubyistたちが、「自分と同じようにつまずくかもしれない」または「Golangを本格的に書き始める前に知っておきたかったなあ」と思うところがまとめてあります。 最近、Ruby on RailsやRuby開発を進めている会社でも、必要な箇所でGoLang開発を行なっていると聞いたので、Golang開発に興味があるRubyistが大勢いるじゃないかと思い、転職をきっかけに記事を書かせていただきました。 「Golang開発やってみたい!」「会社で導入することになった」というRubyistたちの最初のステップになれば幸いです。 Rubyはこうだ
連載:女子高生、「はじめてのPC」を買う スマホファースト世代の女子高生(JK)がPCの必要性に迫られたとき、彼女は何を基準に機種選択し、どう使うのか? ひょんなキッカケからノートPCを持ったJK(17歳)とその父の二人三脚を描く、デジタルライフドキュメンタリー。 連載一覧 初回:ビル・ゲイツもジョブズも知らない女子高生、「はじめてのPC」を買う 前回までのあらすじ 17歳になる娘は正真正銘のネット世代。情報ソースの信頼度ナンバーワンはインターネットと断言し、新聞・雑誌は読まず、「ラジオはオワコン」と言い切って父を驚かせた。SNSはあまり信用せず、広告っぽい情報からは距離を置くなど、ネットリテラシーもそれなりに身についているようだが……。 父(47歳)の私は、高校生はネットをもっぱら「遊び、おしゃべり、暇つぶし」に使うのだと思っていて、そのことを娘に伝えたら「とんでもない」と切り返された。
こんにちは。技術部の吉川です。 最近ではMicroservicesという言葉もかなり浸透し、そのテクニックも体系化されつつあります。 一方でMicroservicesについての話は概論や抽象的な話が多く、具体像が見えないという方もいらっしゃるのではないでしょうか。 当ブログでは1年半ほど前にMicroservicesへのとりくみについてご紹介しました。 当時社内ライブラリだったGarageはその後オープンソースとして公開され、また社内のシステムも当時と比べ飛躍的な進化を遂げています。 そういったクックパッドにおける最近のMicroservices事例を先日Microservices Casual Talksで紹介しました。 Microservicesの抽象的な話は一切割愛し、具体的な事例に終始した内容となっています。 Microservicesの基本となる考え方はわかったものの、実践方法で
白金動物園、2位いただきました #isucon @sora_h @rosylilly と3人でチーム「白金動物園」として ISUCON 5 に参加し、本選で2位を獲得しました。 主な分担としては sorah と rosylilly の2人が実装をして、僕はインフラまわりの整備と、ログ分析や指示出し、あと二人が喧嘩したら仲裁をするという分担でした。今年は二人が喧嘩しなかったので仲裁役は必要なくて良かったです。 (追記 2015/11/02 14:14)2人の記事が揃ったので以下にリンクしておきます。HTTP/2 まわりのチャレンジなどは彼らの記事に詳しいです。 sorah: ISUCON5 で準優勝してきた #isucon - diary.sorah rosylilly: ISUCON5 で準優勝しました - 鳩舎 やったこと 今回の問題はマイクロサービスがテーマになっていて、運営側が用意し
この記事では硬い線形項が存在する非線形な常微分方程式を数値的に解く方法を解説し、Rustのライブラリであるeomを使用して乱流の自己再帰的なカスケードのモデルであるGOYシェルモデルを数値的に解いてみます。 硬い微分方程式とは 数学において硬い方程式(英: stiff equation)は、近似解を計算するためのある数値的方法が、刻み幅を極めて小さくしない限り、数値的不安定になる微分方程式である。 硬い方程式 - Wikipedia 特に時間一階の微分の初期値問題 $$ \frac{dx}{dt} = f(x(t), t), x(0) = x_0 $$ において「硬い」とは時間方向に1step進める際の増分を十分小さくとるために差分$\Delta t$を非常に小さくとる必要がある問題の事です。簡単のためにオイラー法で考えてみましょう: $$ x(t+ \Delta t) = x(t) +
日本年金機構が委託した業者のデータ入力で約95万2000人分にミスがあった問題は、機構側のずさんな業務管理が一因だった。 うち入力漏れの約8万4000人分で過少支給が判明。さらに約31万8000人分の一部で支給額に誤りがある見通しで、機構は26日にも詳細を公表する。度重なる不祥事に、識者は「体制を抜本的に見直す必要がある」と指摘している。 ◆「まさか」 「まさかスキャナーで読み取っているとは……」。ある厚生労働省幹部は、主なミスの原因が業者の契約に反した入力方法にあり、それを見逃してきた機構のチェックの甘さにあきれた。 機構が所得控除などに関するデータ入力を委託した情報処理会社「SAY企画」(東京都豊島区)は、2人1組で手入力するという本来の入力方法ではなく、スキャナーを使って紙のデータを読み取っていた。機械が誤認識した漢字などが残り、配偶者の所得区分を示す丸印も誤って認識され、過少支給な
購入した国有地の地中からごみが見つかったのに、国が撤去費用を支払うまで4年以上かかり、業務に支障が出たなどとして、兵庫県の金属加工業者が国に約3600万円の損害賠償を求める訴えを大阪地裁に起こすことがわかった。 同じく国有地からごみが見つかった学校法人「森友学園」のケースでは、約1か月で撤去費用を算定しており、業者側は「対応を変えているなら不公平で納得できない」としている。 訴えなどによると、業者は2011年9月、工場用地として大阪府豊中市内の国有地(約390平方メートル)を約2700万円で購入する契約を国土交通省大阪航空局側と結んだ。 ところがくい打ち工事中の12年12月、地中で大量のごみを発見。業者は契約に基づき、国に撤去費用約2390万円などを請求したが、大阪航空局が約2160万円の支払いを認めたのは17年7月だった。
The Trump administration indicted members of an Iranian hacker network on Friday, claiming that the group was responsible for "one of the largest state-sponsored hacking campaigns" the U.S. has prosecuted. Officials said the hackers allegedly targeted dozens of U.S. universities, companies and government agencies—as well as the United Nations—and stole around 31 terabytes of data and intellectual
“I have a dream that enough is enough.” Nine-year-old Yolanda Renee King invoked the famous words of her grandfather Martin Luther King, Jr. – and gave them a 2018 twist – as she spoke to the tens of thousands of protesters demanding gun control at the March for Our Lives in Washington, D.C., Saturday. In a surprise appearance amid a series of speeches from students impacted from gun violence in P
AngularでもReactでもriot.jsでも満足できなかったひとに、ぴったりフィットなJSフレームワーク「Vue.js」のざっくりハンズオンです。 このハンズオンではnode.jsのパッケージは使わず、Google ChromeとテキストエディタがあればOKです。 Vue.jsミニハンズオンのシリーズは以下を公開しています。 Vue.jsミニハンズオン(TODOリスト作成) Vue.jsミニハンズオン(TODOリストにアニメーションをつける) Vue.jsミニハンズオン(TODOリストをコンポーネント化する) 今回の目標 目標はシンプルなTODOリストの作成です。 WebStorageに保存してリロードしてもデータを保持できるようにしてます。 Chromeの拡張機能を入れる デベロッパーツールでデータを見やすくするためChromeの拡張機能「Vue.js devtools」を入れます
StrongLoop / IBMによって提供されるこの翻訳. 本書は、英語の資料と比較すると古くなっている可能性があります。最新の更新については、英語版の資料を参照してください。 Express のアプリケーション生成プログラム アプリケーション生成プログラム・ツールの express を使用すると、アプリケーション・スケルトンを素早く作成できます。 次のコマンドを使用して、express をインストールします。 $ npm install express-generator -g -h オプションを指定してコマンド・オプションを表示します。 $ express -h Usage: express [options][dir] Options: -h, --help output usage information --version output the version number -
反社会的勢力に対する基本方針 当団体は、社会の秩序と安全、公共の福祉を守る責任を自覚し、一切の反社会的勢力との関わりを持たないことをここに宣言します。 反社会的勢力とは、以下を含むがこれに限られない、暴力団、暴力団員、暴力団準構成員、暴力団関係企業、総会屋、社会運動等標ぼうゴロ、特殊知能暴力集団等を指します。これらの団体または個人からの不当な要求や関係構築の試みがあった場合、当団体は一貫してこれを拒絶します。 また、反社会的勢力からのあらゆる不当な要求に対しては、法的措置を含む適切な対応を取り、対応を担当する役員や職員の安全を最優先に考慮します。当団体は、あらゆる関係者が安心して参加し、協力できる環境を提供することに尽力します 当団体は、透明性と誠実さをもって運営され、社会からの信頼に応えるべく、この方針を厳守します。
できること コマンドプロンプトで「管理者特権が必要ですよ」と言われた時、 コマンドで管理者特権のコマンドプロンプトに切り替えることができます。 確認している環境 Windows7 Windows10 手順 コマンドプロンプトで、以下のコマンドを実行する。 powershell start-process cmd -verb runas 新しいウインドウになりますが、管理者権限のコマンドプロンプトが起動できます。 start-process -verb runasの応用で、hostsファイルの編集もいけます。 powershell start-process notepad c:\windows\system32\drivers\etc\hosts -verb runas その他 管理者権限でコマンドプロンプトを起動するショートカット http://qiita.com/takuya0301/
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community. Pick a username Email Address Password Sign up for GitHub By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails. Already on GitHub? Sign in to your account
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community. Pick a username Email Address Password Sign up for GitHub By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails. Already on GitHub? Sign in to your account
Windows Subsystem for Linux (WSL) is a feature of Windows that allows you to run a Linux environment on your Windows machine, without the need for a separate virtual machine or dual booting. WSL is designed to provide a seamless and productive experience for developers who want to use both Windows and Linux at the same time. Use WSL to install and run various Linux distributions, such as Ubuntu, D
Overview Docker Desktop Overview Install MacUnderstand permission requirements for MacWindows Use the MSI installer New OverviewInstall and configureUse IntuneFAQsUnderstand permission requirements for WindowsLinux Installation per Linux distro UbuntuDebianFedoraArchSign in Explore Docker Desktop OverviewExplore ContainersExplore ImagesExplore VolumesExplore BuildsResource Saver modePause Docker D
Identity added: /c/Users/me/.ssh/id_rsa (/c/Users/me/.ssh/id_rsa) Running pre-create checks... Creating machine... (default) Copying C:\Users\me\.docker\machine\cache\boot2docker.iso to C:\Users\me\.docker\machine\machines\default\boot2docker.iso... (default) Creating VirtualBox VM... (default) Creating SSH key... (default) Starting the VM... (default) Check network to re-create if needed... (defa
Overview Docker Desktop Overview Install MacUnderstand permission requirements for MacWindows Use the MSI installer New OverviewInstall and configureUse IntuneFAQsUnderstand permission requirements for WindowsLinux Installation per Linux distro UbuntuDebianFedoraArchSign in Explore Docker Desktop OverviewExplore ContainersExplore ImagesExplore VolumesExplore BuildsResource Saver modePause Docker D
やりたいこと Docker ホスト (Linux サーバ) の上で X11 アプリケーションのコンテナを動かす 手元のノート PC (MacBook) から Docker ホストに接続して、コンテナとして動いている X11 アプリケーションのウィンドウを手元のノート PC のディスプレイに表示する 「なんでそんなことやってんだ」と思うかもしれないが、やりたくなったもんはしょうがない。 Docker ホストに X11 Forwarding しながら SSH 接続する このあたりはググればいくらでも情報が出てくるのでサラッと。 Docker ホスト側の sshd_config で X11Forwarding yes を設定する Docker ホストに SSH 接続する際に -X オプションを付けるなどして X11 Forwarding を有効にする X11 アプリケーションの Docker イ
材料費400円の赤外線送受信器を、1,800円のラズパイZeroに載せて、Google Homeから操作する方法を、ゼロから丁寧に解説します。 安くても高機能 むしろ市販のスマートリモコンではできない、きめ細かな操作も簡単に実現できます。(例えば こんなこと ができます。) 簡単 電子回路を作ったことのない初心者でも作れるよう、電子部品の買い方から、丁寧に説明します。 電子工作の基本 ラズパイでの電子工作が初めてなら、こちら → Raspberry Piの電源でLEDを1個光らせてみる - ツール・ラボ (素晴らしく丁寧な解説なので、予備知識ゼロでも理解できるはず。) ここで紹介するスマートリモコンの回路も、まずはブレッドボードを使って、半田付けをせずに試作します。 試作品をしばらく使ってみて問題がないようなら、基板に半田付けして完成させます。 半田付けが初めてなら、こちら → うまくいく
Hundreds of thousands of protesters filled the streets of Washington, D.C., on Saturday for March for Our Lives, calling for action on gun control and school safety reform. In the weeks since 17 people were killed by a gunman at Marjory Stoneman Douglas High School, students around the country — following the lead of survivors in Parkland, Florida — have walked out of their classrooms to protest g
Solidity Assembly¶ Solidity defines an assembly language that can also be used without Solidity. This assembly language can also be used as “inline assembly” inside Solidity source code. We start with describing how to use inline assembly and how it differs from standalone assembly and then specify assembly itself. Inline Assembly¶ For more fine-grained control especially in order to enhance the l
You can now use the Docker shm-size and tmpfs parameters in Amazon Elastic Container Service (Amazon ECS) task definitions. The shm-size parameter allows you to specify the shared memory that a container can use. It enables memory-intensive containers to run faster by giving more access to allocated memory. The tmpfs parameter allows you to mount a temporary volume in memory. This removes the need
Amazon Elastic Container Service (Amazon ECS) now includes integrated service discovery that makes it easy for your containerized services to discover and connect with each other. Previously, to ensure that services were able to discover and connect with each other, you had to configure and run your own service discovery system or connect every service to a load balancer. Now, you can enable servi
The following illustration provides a high-level view of the query planning and execution workflow. The leader node receives the query and parses the SQL. The parser produces an initial query tree that is a logical representation of the original query. Amazon Redshift then inputs this query tree into the query optimizer. The optimizer evaluates and if necessary rewrites the query to maximize its e
この文書は新情報が入り次第、適時更新します。 今日も OCaml ライブラリのソースをダウンロードするところから始めている皆さん、こんにちは。 はっきり言って、面倒ですよね。一度ダウンロード、コンパイルに成功したら、それのソースツリーを置いておけばそれまでなんですが、 他のマシンでコンパイルしたくなったりしますよね。 私はブチ切れて OMake で指定 URL からダウンロードして apt-get+configure+make+install までオンデマンドでやっちゃうシステムを組みました。 マシンが変わっても omake 一発で全部やってくれるのが気持ちいいです。 ( https://bitbucket.org/camlspotter/omy/overview ) それでもやっぱり、ライブラリがバージョンアップしたら、また始めからソース取ってきて確認、は変わりません。 そうなるとやっぱ
フィードバックを送信 Crashlytics 実装のテスト コレクションでコンテンツを整理 必要に応じて、コンテンツの保存と分類を行います。 iOS+ Android Flutter Unity 強制的にクラッシュさせて実装状況をテストする 強制的にテスト クラッシュを発生させるためのコードをアプリに追加します。 次のコードを使用するとアプリにボタンが追加され、このボタンを押すとクラッシュを発生させることができます。ボタンには「Test Crash」というラベルが付いています。 Swiftimport UIKit class ViewController: UIViewController { override func viewDidLoad() { super.viewDidLoad() // Do any additional setup after loading the view
Firebase Crashlytics は軽量なリアルタイムのクラッシュ レポートツールで、アプリの品質を低下させる安定性の問題を追跡し、優先順位を付け、修正するのに役立ちます。Crashlytics を使用すると、クラッシュをインテリジェントにグループ化し、クラッシュにつながった状況をあぶり出すことによって、トラブルシューティングの時間を節約できます。 特定のクラッシュが多くのユーザーに影響を与えるかどうかを調べたり、問題の重大度が急激に増した場合にアラートを受け取ったりできるほか、コード内でクラッシュの原因となっている行を特定することもできます。 Crashlytics をインストールする
完全な初心者はこちらから!ウェブ入門ウェブ入門基本的なソフトウェアのインストールウェブサイトをどんな外見にするかファイルの扱いHTML の基本CSS の基本JavaScript の基本ウェブサイトの公開ウェブのしくみHTML — Structuring the webHTML概論HTML 入門HTML を始めようヘッド部には何が入る? HTML のメタデータHTML テキストの基礎ハイパーリンクの作成高度なテキスト整形文書とウェブサイトの構造HTML のデバッグ手紙のマークアップコンテンツのページの構造化Multimedia and embeddingマルチメディアとその埋め込みHTML の画像動画と音声のコンテンツobject から iframe まで — その他の埋め込み技術ウェブへのベクターグラフィックの追加レスポンシブ画像Mozilla のスプラッシュページHTML tablesH
これは ML Advent Calendar 2017 の 18日目の記事です (ずいぶん遅れました). 前回の記事 では Oasis について紹介しましたが,Jbuilder (Dune という名前に変わります) のほうがもっと楽だったので反省しつつ紹介します. 名前にセンスがないとか S式やだとか思ってしまいますが実際これは圧倒的に良いツールです. 今後は基本的には Jbuilder を使っていけばよい気がします(名前が変わるみたいですが…). 基本的には公式のマニュアルを見れば使えるのですが,public_name や <package>.opam についてはやや記述が散逸している感じなので適宜補足します.また,名前空間の衝突を避けるために Jbuilder が行う -pack ライクな動作についても少し書きます. よい点 自動的な依存解析,簡潔な設定ファイル.OASIS と違って、
これは ML Advent Calendar 2017 の 6日目の記事です. ご案内: Jbuilder (Dune) でもっと楽に OCaml プロジェクトを作る もご覧ください。 Oasis は OCaml のビルドツールの一つです. 最低限必要な設定ファイルを作れば,ありがちな依存解析を全て自動的にやってくれて便利です. いわゆる ./configure && make && make install 式のインストーラをうまいこと自動生成してくれます. さらに OCamlfind (Findlib) 周りもよしなにしてくれるので,他の OCamlfind パッケージを使ったり,自前のパッケージの開発も簡単にできます. しかし,Oasis の日本語の解説記事はこれといって見当たりません.そこで,この記事では私が Oasis をどのように使っているかを書きます. こまかいことは Oas
量子コンピューティングの 今を前に進める フィックスターズでは、量子コンピュータを利用、または利用を検討している企業や研究機関向けに、アプリケーション開発サービスや、開発を効率化するクラウドサービスなどを提供しています。 量子コンピューティングの今を前に進める フィックスターズでは、量子コンピュータを利用、または利用を検討している企業や研究機関向けに、アプリケーション開発サービスや、開発を効率化するクラウドサービスなどを提供しています。 What’s New 2020.6.26 MCPCで実施した量子コンピュータの実証実験の成果報告 もっと見る
Moral of the story: One must be careful about lazily initializing instance variables when subclassing. I would like to draw your attention to #4652 where the reader will see that there appears to be some kind of initialization issue in rails. The source of this issue is that: Engine#env_config contains "@env_config ||= ..." Application#env_config contains "@env_config ||= ..." Threads are in the p
内容詳細 デザインレシピを用いてプログラミングに必要な思考法を学び,メトロネットワーク最短路問題を解きながらデータ構造とアルゴリズムを身につける,関数型言語OCamlによる入門者のための教科・参考書. ご注文に際しての注意事項 ×プリントアウト ×注文キャンセル ~この商品は電子書籍です.電子書籍についてのご利用案内を必ずご確認ください.~ 第1章 はじめに 1.1 デザインレシピ 1.2 使用する言語 1.3 準備 1.4 参考となる資料 第2章 基本的なデータ 2.1 整数 2.2 実数 2.3 文字列 2.4 真偽値 2.5 そのほかのデータ 第3章 変数の定義 3.1 変数の必要性 3.2 変数定義の構文 3.3 変数の実行方法 3.4 ほかの言語の変数との違い 第4章 関数の定義 4.1 関数定義の必要性 4.2 関数定義の構文 4.3 関数の型 4.4 型推論と型チェック 4.
プログラミングの基礎を読んでるんで、写経したり、課題を解くのに、emacsでocamlを書く最低限の設定をしようと思いました。 プログラミングの基礎 [ 浅井健一 ] ジャンル: 本・雑誌・コミック > PC・システム開発 > その他ショップ: 楽天ブックス価格: 2,484円 普通は何を使うのかと思って調べたところ、tuaregというのがいいらしいので入れてみました。 OCaml Forge: Emacs OCaml Tuareg mode: Project Home package-list-packagesからインストール tuareg-2.0.5が入りました。 設定 init.el (add-to-list 'auto-mode-alist '("\\.ml[iylp]?" . tuareg-mode)) (autoload 'tuareg-mode "tuareg" "Major
平成29年11月20日 第1回 議事要旨 配布資料 平成29年12月19日 第2回 議事要旨 配布資料 平成30年1月22日 第3回 議事要旨 配布資料 平成30年2月23日 第4回 議事要旨 配布資料 平成30年3月30日 報告書
お知らせ ニュースリリース 2017年度一覧 「第四次産業革命スキル習得講座認定制度」の第2回申請受付を開始します-Connected Industries人材~未来へつなぐ- 経済産業省は、IT・データ分野を中心とした専門的・実践的な教育訓練講座を経済産業大臣が認定する「第四次産業革命スキル習得講座認定制度」(通称:「Reスキル講座」)の第2回申請受付を4月2日から開始します。 1.趣旨 「第四次産業革命スキル習得講座認定制度」(通称:Reスキル講座)は、IT・データを中心とした将来の成長が強く見込まれ、雇用創出に貢献する分野において、社会人が高度な専門性を身に付けてキャリアアップを図る、専門的・実践的な教育訓練講座を経済産業大臣が認定する制度です。 経済産業省は、平成30年10月以降に開講する講座を対象として、本制度の認定を受けるための申請受付を、4月2日から開始いたします。 2.認定
経済産業省が(株)博報堂に調査を委託し、発送業務に関し(株)博報堂より再委託を受けている(株)東京サーベイ・リサーチが郵送している「太陽光発電設備の活用等に関するアンケート調査」において、誤った宛先に調査票が郵送されていることが判明しました。 このような事態は極めて遺憾であり、関係者に深くお詫び申し上げます。 経緯と概要 当省が(株)博報堂に調査を委託している「太陽光発電設備の活用等に関するアンケート調査」の発送に関し、再委託を受けた(株)東京サーベイ・リサーチが、平成30年3月15日(木)に2,810通の調査票を郵送した際、作業の過程で住所と宛名にずれが発生し、結果として、誤った宛先に送られていることが判明いたしました。うち、本日(3月23日)時点で2,038通が宛先不明の不着として回収されていますが、最大772通が誤った宛先に送付されてしまった可能性があります。 当省としては、委託先に
IPA(独立行政法人情報処理推進機構、理事長:富田達夫)技術本部ソフトウェア高信頼化センターは、今後ますます普及が進むIoT(*1) の品質確保を目的に、検証の立場における考慮事項を示したガイドブック「つながる世界の品質確保に向けた手引き」を公開しました。また、開発・運用の現場で活用できる「つながる世界の品質確保チェックリスト」も同時に公開しています。 URL:https://www.ipa.go.jp/sec/reports/20180322.html 近年、さまざまな分野において、IoT機器・システムの開発・導入が進展しています。たとえば、産業分野においては、工場の製造システムをインターネットで外部に接続し、製造設備の保守の効率化や部品調達の迅速化などの生産性向上が図られています。また、生活分野においては、家電や自動車、住宅設備などがインターネットにつながることにより、多様なサービスが
平成32年度以降の医師養成数の検討 及び医師需給推計の方法 医療従事者の需給に関する検討会 第18回 医師需給分科会 資料4 平成30年3月23日 ○ 平成31年度までが期限である医学部臨時定員の平成 32年度以降の取り扱いについて、医師の需給推計等に 基づき議論を行う必要がある。 ○ なお、平成32年度以降の医学部臨時定員の取扱いに ついては、医学部受験生への配慮等の観点から平成30 年5月頃までには、一定の結論を得る必要がある点に ついて留意が必要ではないか。 今回検討を行う必要がある事項について 2 1.今回の需給推計の基本的な考え方について 2.医師の供給推計について (1)供給推計の方法 (2)仕事量の推計の方法 3.医師の需要推計について (1)臨床に従事する医師 (2)臨床以外に従事する医師 3 1.今回の需給推計の基本的な考え方 について 4 ○ 需給推計の方法及び進め方に
Using functional programming within an industrial product group: perspectives...Anil Madhavapeddy
Prologue Why OCaml? A Brief History The Core Standard Library The OCaml Platform About This Book What to Expect Installation Instructions Code Examples Safari® Books Online How to Contact Us Contributors I. Language Concepts 1. A Guided Tour OCaml as a Calculator Functions and Type Inference Type Inference Inferring Generic Types Tuples, Lists, Options, and Pattern Matching Tuples Lists The List m
OCaml に興味津々のみなさんこんにちは、 OCaml ビギナーです。さて、 OCaml とは(ry ググればわかるような説明はさておき、そこのあなた、 "Ocaml" とキーを叩いてググる暇があるなら(あっ、 "OCaml" でした!)、いますぐターミナルを開いて brew install ocaml しましょう。やれってば。案ずるより産むが易しと言うではありませんか( Windows でしたか? 残念ながら Windows での OCaml は茨の道のようです。なんとか Unix 環境を用意してください)。おや、「 OCaml は仕事で使えるの?」「関数型言語って難しいんじゃない?」という心の声が聞こえましたが、アーアーキコエナーイ。はいはい、ググるだけ無駄です。どこを探しても、今のあなたの役に立つ情報なんかありませんよ?(おっと、誰か来たようだ) ... はい、 brew inst
これは ML Advent Calendar 2017 の 4日目の記事です (書き溜めていたものを公開.) OCaml のモジュール (module) とモジュール型 (module type) がややこしいと思った,そんな初心を思い出して少し記事を書きました. OCaml で簡単なプログラムは書けるけれど,モジュール化の方法がいまいち分からないという人向けです. (本当に書きたかった話題は「ファンクターを使ったモジュール抽象化」でした.具体的には, OCaml の非同期処理のモナド Async と Lwt の両方で使えるライブラリを設計する…ということを書きたかったのですが,時間がなくなりました.そういうものに興味がある人は,例えば ocaml-cohttp をじっくり辿ってみると良いと思います. 他に,私の作りかけのライブラリ でも,base.ml においてモナドモジュールをパラメタ
本当はローカルのMac OS X上に開発環境を構築したのだけど、メモを取り忘れていたので、改めてVagrantで起動したUbuntu 15.10上で開発環境を整えてみた。 まずシステムにOcamlとOPAMをインストールする。2016年1月時点ではOCaml 4.02.3が入った。 $ sudo add-apt-repository ppa:avsm/ppa $ sudo apt-get update $ sudo apt-get install ocaml ocaml-native-compilers camlp4-extra opam m4 git mercurial darcs バージョンを確認。 $ ocaml -version The OCaml toplevel, version 4.02.3 $ opam --version 1.2.2 OPAMを使うためには初期化が必要。こ
The .gov means it’s official. Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site. The site is secure. The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.
The .gov means it’s official. Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site. The site is secure. The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.
一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ ) 版元の O'Reilly ではこのベータ版の状態の e-book が 今なら安く手に入ります。完全版には後から無料でアクセスできるように なるそうです。( http://shop.oreilly.com/product/0636920024743.do ) !!!!!安く買いたい人は http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよく読んでね!!!!! この本は、今まで外に伝わりづらかった OCaml プログラミングの最前線の一面を 伝
Entrepreneur Elon Musk has had the official Facebook pages for his Tesla and SpaceX companies deleted. The #deletefacebook movement has grown after data firm Cambridge Analytica was accused of obtaining the personal information of about 50 million users. Mr Musk had poked fun at speaker brand Sonos after it said it would suspend advertising on Facebook for one week.
札幌市の資源ごみの選別施設で23日に見つかった人の腕について、市の郊外に住む人から「腕とわからず自分がごみの集積所に捨てたものかもしれない」と申告があり、警察は確認を進めるなど詳しく調べています。 警察によりますと、24日午前中に、ニュースを見たという札幌市郊外に住む人から「路上に落ちていたのが腕とわからず、自分が新聞紙に包んでごみの集積所に捨てたものかもしれない」と申告があったということです。 申告内容を確認した結果、近くで似たような目撃証言をする人が複数いることがわかったほか、腕の傷は人為的に切断された痕でない可能性の高いこともわかったということです。 警察は、遺体の身元の確認を進めるなど引き続き詳しく調べています。
SCENE REPORT Eight Kawaii Artists Using Grotesque Sounds to Redefine “Cute” Japanese Music By Patrick St. Michel · March 23, 2018 YUC'e Few Japanese concepts have spread as far globally as “kawaii.” The word—roughly translated to mean “cute,” but technically referring to a child-like, downright pitiable type of adorableness—often hovers around Japanese cultural exports, from cartoons to clothes. J
縄文時代の布の編み方などを研究し、日本の布に関する文化についての論文をまとめた88歳の女性が、京都市の立命館大学から博士号を授与されました。大学によりますと、国内では最高齢の取得と見られるということです。 尾関さんは24日、京都市中京区の立命館大学の学位記授与式に出席し、吉田美喜夫学長から学位記を受け取りました。 尾関さんは各地で出土した縄文時代の布の編み方などを30年以上にわたって研究し、日本の布に関する文化の起源と特質をまとめた論文が大学の審査で認められたということです。 立命館大学によりますと、88歳での博士号の取得は国内では最高齢と見られるということです。 尾関さんは「感無量で、人生で最も光栄な出来事になりました。体力的な面で不安はありますが、これからも研究に励んでいきたい」と抱負を話しました。
John Bolton, in 2016, speaking at the Conservative Political Action Conference.Photograph by Andrew Harrer / Bloomberg / Getty Hawks are closing in on the White House. John Bolton, arguably the most abrasive American diplomat of the twenty-first century, will soon assume the top foreign-policy job at the National Security Council. As is his wont, President Trump announced yet another shakeup of hi
The strange, cosmic reason our evolutionary path will look ever luckier the longer we survive. It was hard times for the bomber pilots who floated over Europe, their planes incinerating cities below, like birds of prey. Even as they turned the once-bustling streets beneath to howling firestorms, death had become a close companion to the crews of the Allied bombers as well. In fact, surviving a tou
Dickies 874 WORK PANT 50th Anniversary Music Video アメリカを代表するワークウェアブランド「Dickies(ディッキーズ)」がブランドのアイコンである“874 WORK PANT”の誕生50周年を記念したスペシャルMV。 漢 a.k.a GAMI の呼びかけに、D.O、呂布カルマ、NAIKA MC 、SALU 、JP THE WAVY 、RYKEY、DJ BAKU。日本のヒップホップ界をリードする7MC1DJが集結。 MVにはジャンルを超えて様々なキャストも登場! GENUINE WORK WEARとしてその歴史をスタートし、Fashion、music、Skateboard、Danceなどと あらゆるカルチャーに浸透していった“874 WORK PANT”。その集大成とも言える本作品をぜひご覧ください! ■Dickies HP:htt
俺より強いGIRLに会いに行く──。 TVアニメ『ハイスコアガール』 2018年7月放送開始予定!! ▼公式サイトURL http://hi-score-girl.com/ 「ポリゴン」って何?食えんの?そんな2D全盛期だった古き良き格ゲーブーム到来の1991年。 ヤンキーとオタクとリーマンが蔓延る場末のゲーセンに、彼女は凛として座していた──。 主人公ハルオを通して描かれる’90年代アーケードラブコメディー! ©押切蓮介/SQUARE ENIX・ハイスコアガール製作委員会 ©BANDAI NAMCO Entertainment Inc. ©CAPCOM CO., LTD. ALL RIGHTS RESERVED. ©CAPCOM U.S.A., INC. ALL RIGHTS RESERVED. ©IREM SOFTWARE ENGINEERING INC. ©Konami Dig
前回までで多相バリアントの基本的な機能は説明してきました。そこで今回は、多相バリアントのとても重要な応用についてお話したいと思います。それは、場合分け構造の拡張問題です。 場合分け構造の拡張は難しい 例えば、次のようなコードがあったとします。 module Card = struct type t = Num of int | Jack | Queen | King let num = function Num i -> i | Jack -> 11 | Queen -> 12 | King -> 13 end Card.tには4種類の場合分けがあり、それらに対してnumという操作が定義されています。このような場合分け構造+操作に対して、 静的で安全に(キャストせず)、 元のコードを一切変更せず、 新しい場合分けを加え、 新しい操作も加えた 新しい場合分け構造を定義する にはどうすればいい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く