2019年度「プログラミング言語」配布資料 (6)
[ 前の資料 | 講義ホームページ・トップ | 次の資料 ] OCaml OCaml (旧名称: Objective Caml)は INRIA というフランスの国立の計算機科学の研究所でデザイン・開発された言語である．歴史的には，証明支援系と呼ばれる，計算機によって数学的証明を行うためのソフトウェアを操作するための言語の研究から発展してきたもので，当初は ML (Meta Language) と呼ばれていたが，研究が進展し，また方言が派生していく過程で OCaml ができあがった．Standard ML などの方言をまとめて ML と呼ぶことが多い．(興味があったら Caml の歴史, Standard MLの歴史 などを見よ．) ML は関数型プログラミング(functional programming)と呼ばれるプログラミングスタイルをサポートしている．MLは核となる部分が小さくシンプ
「何人も監督に暴行受けていた」秀岳館高暴行問題で新証言 監督も暴行か【Nスタ】（TBS NEWS DIG Powered by JNN） - Yahoo!ニュース
サッカー部のコーチによる「暴行問題」が浮上していた熊本県の秀岳館高校。今月上旬の謝罪会見で自らは「暴力行為をしたことがない」と発言していた監督について、卒業生のOBらが「何人も監督に暴行を受けていた」と新たに証言をしました。 【写真を見る】「何人も監督に暴行受けていた」秀岳館高暴行問題で新証言 監督も暴行か【Nスタ】 ■監督「暴力行為知りません」サッカー部OB「100％ウソです」秀岳館高校 渡部久義教頭 「申し訳ありませんでした」 5月5日に行われた熊本県・秀岳館高校の会見。サッカー部のコーチによる暴力問題などについて、説明と謝罪がありました。秀岳館高校のサッカー部は、全国大会に出場したこともある強豪で、およそ20年間、段原一詞監督が率いてきました。その段原監督は、会見でこう断言しました。 秀岳館高校サッカー部 段原一詞監督 「（暴力行為を）僕は見たことありませんでした。知りませんでした」
登録者数世界一位のYouTuber、ついに日本に移住
5月10日、登録者数世界一位のYouTuberであるPewDiePie（ピューディーパイ）さんが、日本に移住したことを伝える動画を投稿し、話題となっている。 PewDiePieことフェリックス・アルヴィッド・ウルフ・シェルバーグ（Felix Arvid Ulf Kjellberg）さんは、スウェーデン生まれのYouTuber。主にホラーゲームやアクションゲームの実況動画で人気を集めており、2022年5月時点で、チャンネル登録者数は、1億1,100万人と世界一の登録者を誇る。 PewDiePieさんは、以前から日本好きで知られており、2019年に投稿された動画では、日本に家を購入したと報告。引越しの準備を行っていたが、新型コロナの影響もあり延期されていた。 今回投稿された動画には、プライベートジェット機に乗り、妻と愛犬を連れて日本に到着した様子が映っている。記事執筆時点での動画再生回数は40
はてなブックマークへのご意見・ご感想 2020-05 - yuiseki
はてなブックマークのユーザーインタビューにご協力いただける方を募集します - はてなブックマーク開発ブログ 絶対に伝えたいこと はてブのログインセッションがやたらと短い気がするんですが私だけですか？？？ Webもブラウザ拡張も 頻繁にログインさせられている、週に数回くらい？ うおーこのページブクマ＆ツイートしたい！！→「ログインが必要です」が頻発していてなかなかにだるい yuiseki.iconのはてなブックマーク利用状況 利用開始日 2005-02-11 利用のきっかけ MM/Memoというソーシャルブックマークからの移行 利用のモチベーション ニュースや技術情報のメモ 自分が閲覧して良いなと思ったページを他の人にも共有したい ブックマーク数 327289件 yuiseki.iconのはてなブックマークの使い方 主にGoogle Chromeで利用 自分のブックマーク一覧ページをブラウザ
「Googleマップ」のデータを活用してAR体験を強化する「ARCore Geospatial API」
Googleは、いつの日か拡張現実（AR）グラスを世に送るかもしれないが、まずはその前にARをあらゆる場所で機能させる必要がある。最近では複数の企業が、地図データを利用して現実世界を覆う、全世界的なARレイヤーの作成を目指している。その中の1社であるGoogleは、ARレイヤーの作成に「Googleマップ」を活用している。 同社は米国時間5月11日、年次開発者会議「Google I/O 2022」で、Googleマップの既存データを利用して特定の場所に関するAR用アンカーを作成するための「ARCore Geospatial API」を発表した。これはNianticやSnap、Appleなどライバル企業の取り組みの先を行くものとなるかもしれない。Googleは、2019年に発表したGoogleマップのAR機能「ライブビュー」で利用したのと同じ技術によって、これを実現した。 このAPIによって
【追記：応募期限5/20まで】はてなブックマークのユーザーインタビューにご協力いただける方を募集します - はてなブックマーク開発ブログ
2022/5/17 追記 想定よりはるかに多くのご応募を頂いたため、応募期限を 2022年5月20日（金）19:00 とさせていただきます。 すでにご応募いただいた皆様、ご協力誠にありがとうございます。コメントもありがたく拝見しております。 これからのご応募も引き続きお待ちしております。 いつもはてなブックマークをご利用いただき誠にありがとうございます。はてなブックマーク開発チーム、ディレクターの id:yone-yamaです。 この度はてなブックマーク開発チームでは、サービスをご利用中のみなさまを対象に1時間程度のオンラインインタビューにご協力いただける方を募集します。 ご協力いただける場合は、以下概要をご覧の上、この記事の末尾にあるフォームからご応募ください。 みなさまのご応募をお待ちしております。 インタビュー概要 目的と内容 はてなブックマークの今後の機能改善・追加機能開発の検討の
酒で失敗しないための３つ
・高いのと安いのがあったら高い方を買う。ただし10倍以上するものは様子見しとく。 ・ちゃんぽんで呑み始めたらそれはもう酒に呑まれてる証拠。 ・混ぜもんで飲んでいいのはバーテンダーさんが目の前で作ったカクテルだけと思っとけ。
ロシア兵、キーウ郊外で民間人２人を殺害 ＣＮＮが映像入手 CNN EXCLUSIVE
ウクライナ・キーウ（ＣＮＮ） ロシア軍の兵士数名が、ウクライナの首都キーウ（キエフ）郊外で非武装の民間人２人を銃撃する様子を捉えた動画をＣＮＮが入手した。２人は兵士らとやり取りを交わした後、歩いて立ち去るところを背後から撃たれている。 動画は防犯カメラの映像。現在ウクライナの検察がその内容について、戦争犯罪として捜査している。 撃たれた民間人はどちらもこの後死亡した。当該の銃撃は、民間人を標的にするのを禁じたいわゆる「戦争法」に違反する。 ＣＮＮは被害者２人を特定した。１人は略奪に遭った自動車販売店のオーナーで、遺族が氏名の公表を望まなかった。もう１人のレオニード・オレクシヨビチ・プラッツさんは２人の孫を持つ６８歳の男性で、同店舗の守衛をしていた。 プラッツさんの娘のユリアさんはＣＮＮの取材に答え、ロシア兵らを「死刑執行人」と形容。民間人のプラッツさんは平和的で、武器も持っていなかったと強
Back/forward cache | Articles | web.dev
Loading the previous page is essentially instant, because the entire page can be restored from memory, without having to go to the network at all. Check out this video of bfcache in action to understand the speed up it can bring to navigations: Using bfcache makes pages load much more quickly during back and forward navigation. In the video, the example with bfcache is quite a bit faster than the
Announcing Pub/Sub: Programmable MQTT-based Messaging
Announcing Pub/Sub: Programmable MQTT-based Messaging2022-05-12 This post is also available in 简体中文, 日本語, Español. One of the underlying questions that drives Platform Week is “how do we enable developers to build full stack applications on Cloudflare?”. With Workers as a serverless environment for easily deploying distributed-by-default applications, KV and Durable Objects for caching and coordin
ロシアのバンド・メンバー 刑務所行きを言われた後 食糧配達人に変装してロシアから脱出 - amass
ロシアのバンド・メンバーは、刑務所行きを言われた後、食糧配達人に変装してロシアから脱出しました。 ニューヨーク・タイムズ紙によると、脱出したのは、ロシアのフェミニスト・パンク・ロック集団、プッシー・ライオット（Pussy Riot）の創設メンバーの一人であるマリア・アリョーヒナ。プッシー・ライオットは長年にわたってプーチン政権への抗議活動を行っています。 彼女は2月、「ナチスの象徴のプロパガンダ」だと言われ、15日間刑務所で過ごした後、モスクワの自宅で軟禁状態にありましたが、当局が21日間の実刑判決を出したことを受けて、ロシアを逃れることを決めました。 「彼らは私たちをコントロールできないので、怖がっているのです」と彼女は言っています。 アリョーヒナは、鮮やかなグリーンのパーカーを着て、保温性の高い食品配達用のリュックを背負って逃走しました。追跡されないように、彼女は監視下にあったアパート
日本メディアが伝えない米国「保守派」の憂慮、ウクライナ問題の本質【田中×浅田】（田中康夫×浅田 彰） @gendai_biz
33年にわたって続く田中・浅田の伝説連載が現代ビジネスに移ってきた！ 二人の論客が深く、そして軽やかに日本を、世界を語り合う「憂国呆談」、3回に分けてお届けする移籍第1弾のPart2。日本どころか欧米のメディアも報じないウクライナ問題の本質を、二人が徹底的に語ります。 ゼレンスキーは少なくとも不用意だった 田中 ウクライナを巡る「世界の潮流」を語ったPart1に続いてPart2の冒頭で、大きな声で語られる「正義」は往々にして裏表の落差が大きいという古今東西の公理を今一度、冷静に再確認しておこう。 湾岸戦争の時、「黒い水鳥」のニュース映像が世界中を駆け巡った。イラク軍が破壊した石油施設から流れた重油で身動きが取れなくなった鳥だと報じられたけど実は、米軍がイラクの石油精製施設に打ち込んだミサイルが原因だったにも拘らず、アメリカの広告代理店が仕込んだ「フェイク・ニュース」だったと戦争後に判明する
「園子温いない映画史は成立するのだろうか」東京新聞コラムに批判殺到…バックラッシュの懸念も（SmartFLASH） - Yahoo!ニュース
《例えば荒木経惟のいない写真史、園子温のいない映画史は成立するのだろうか。広河隆一の名を欠いた報道写真史はどうだろう》 東京新聞5月9日夕刊号に掲載された匿名コラムの一節が、物議を醸している。 「ここに名前のあがった3人は、いずれも『性加害』を告発された著名人。この一文について、被害に遭った人たちへの配慮がなさすぎる、という批判が上がっているのです」（全国紙記者） 写真家の荒木経惟氏といえば、2018年にモデルのKaoriが「人前でヌードを強要された」と告発。Kaoriはかつて「荒木のミューズ」と呼ばれていただけに、この告発は大きな話題を呼んだ。 この告発に共感を寄せたのが、モデル・女優の水原希子。Instagram上で、自身も20人ほどの男性がいる前で、手で胸を隠す撮影を強要されたと語った。 フォトジャーナリズム誌『DAYS JAPAN』の元編集長・広河隆一氏は、編集部の女性スタッフらに
rinna社、日本語に特化した言語画像モデルCLIPを公開
rinna社、日本語に特化した言語画像モデルCLIPを公開商用利用可能な Apache-2.0 ライセンスで公開することで日本語の言語・画像コミュニティに還元 rinna株式会社（本社：東京都渋谷区/代表取締役：ジャン“クリフ”チェン、以下rinna社）は、日本語に特化した言語（テキスト）と画像の関係を表現できる事前学習言語画像モデルCLIP（Contrastive Language-Image Pre-training）とその改良版モデルCLOOBを学習し、商用利用可能な Apache-2.0 ライセンスで公開したことを発表します。 本モデルを公開することにより、日本語における言語・画像理解に関する研究の活発化に繋がることを期待しています。今後の研究成果は引き続き公開し、研究・開発コミュニティへ還元していきます。 ■概要 rinna社はこれまでに、日本語の自然言語処理 (NLP) に特化
トランプ氏のツイッター禁止「解除する」 マスク氏が明言
イーロン・マスク氏（左）とドナルド・トランプ前米大統領（2022年5月10日作成）。(c)NICHOLAS KAMM and Brendan Smialowski / AFP 【5月11日 AFP】実業家のイーロン・マスク（Elon Musk）氏は10日、米ツイッター（Twitter）の買収が完了すれば、ドナルド・トランプ（Donald Trump）前米大統領に科された利用禁止措置を「解除する」と述べた。 英紙フィナンシャル・タイムズ（Financial Times）主催の会議で明らかにした。ただ、まだツイッターの買収は完了していないため「これは絶対起こることではない」とも述べた。 マスク氏は、ツイッターを総額440億ドル（約5兆7000億円）で買収することで同社と合意。買収は株主や規制当局の承認を得る必要があるものの、マスク氏は買収後の方針として、投稿の監視や規制を緩和したい意向を示して
Cloudflare R2もいいぞ！ - ゆーすけべー日記
CloudflareがSQLデータベースD1をアナウンスして衝撃を受けましたが、「R2もいいぞ！」というお話。 R2はS3みたいなストレージエンジンで、Sの前「R」、3の前の「2」ともじってて、AWS対抗といえます。で、ちょうどD1がアナウンスされた昨日にベータオープンしました。 A New Hope for Object Storage: R2 enters open beta 「ただのストレージだろ」とたかをくくってたんですが、使ってみてだいぶよいです。 先にまとめると以下の3つのことが言えます。 安い DX（Developer Experience）がよい Cloudflareの他の製品を組み合わせるとヤバい 詳しく紹介します。 作ったアプリ R2を評価するために、以前S3をバックエンドにして作ったアプリケーションをR2に置き換えるというのをやりました。そのアプリケーションについては
Googleが仮のクレジットカード番号を生成して安全に買い物できるサービス「Virtual Cards」を発表
Googleがネットショップなどの決済時に自分の所持するクレジットカード番号とは別の番号を生成するサービス「Virtual Cards」を発表しました。Virtual Cardsを用いることで、ユーザーはクレジットカード番号の流出を心配することなくネットショッピングを楽しめるようになります。 How we make every day safer with Google https://blog.google/technology/safety-security/how-we-make-every-day-safer-with-google/ ネットショップで買い物をする際はクレジットカードを利用すればスムーズな決済が可能ですが、クレジットカード番号がネットショップから流出してしまうリスクに不安を感じることもあります。Google PayやApple Payといった決済手段を使えばクレジッ
タイ政府、大麻草１００万本を全土の世帯に無料配布
タイのアヌティン・チャーンビラクル保健相＝２月８日、タイ・ノンタブリ県/Sakchai Lalit/AP （ＣＮＮ） タイ政府は家庭での大麻栽培を認める新ルールの制定を記念して、６月に大麻草１００万本を全土の世帯に無料で配布する。保健相がフェイスブックへの投稿で明らかにした。 タイのアヌティン・チャーンビラクル保健相は８日の投稿で、大麻草を自家栽培の作物のように育ててもらいたいと表明した。 ６月９日に施行される新ルールに基づき、大麻草は地元自治体に届け出を済ませれば自宅で栽培できるようになる。ただし栽培できるのは医療用の大麻に限られ、免許がなければ商業目的で大麻を使用することはできない。 タイは大麻を換金作物として普及させる計画を推進しており、２０１８年には東南アジアの国として初めて、医療用大麻を合法化した。 大麻に関する自治体の条例も緩和されている。飲料メーカーや化粧品会社は昨年、消費者
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
2022-05 Windows版Kindle起動できない - yuiseki
スタートアップ労働者への質問集 - yuiseki
楽天、携帯料金「0円」を廃止 7月から最低980円 - 日本経済新聞
はてなブックマークへのご意見・ご感想 2022-05 - yuiseki
楽天モバイル三木谷氏「0円廃止」の理由は「電気通信事業法」
「何人も監督に暴行受けていた」秀岳館高暴行問題で新証言 監督も暴行か【Ｎスタ】 | TBS NEWS DIG
ソフトバンクグループの孫正義さん、1.7兆円の純損失を叩き出しお通夜状態の決算発表会をペテングラフで誤魔化す : 市況かぶ全力２階建
HyperForm
http://twitter.com/kayvz/status/1524787801757126656