Introducing the architecture and design behind the forthcoming OCaml Platform 1.0
This document discusses the Coq proof assistant. It provides examples of defining concepts like booleans, natural numbers, and functions in Coq. It demonstrates tactics for proving properties like De Morgan's laws. It also shows how to define recursive functions over natural numbers like addition and equality testing. The document aims to introduce basic concepts and usage of the Coq system throug
現状整理 JavaScript では末尾再帰最適化(PTE: Proper Tail Call) は、完全には期待できない https://kangax.github.io/compat-table/es6/ 末尾再帰による最適化 - Qiita なので再帰は注意して使わねばならない スタックオーバーフローしないことをチェック 再帰を辞めて for 文とかに何とか変換する とはいえ再帰を使いたい こともある じゃあどうするか?が本稿の目的 再帰におけるスタックオーバーフローは、末尾再帰の最適化ができる他の言語でも起こりえる(例: 末尾再帰できない場合)。じゃあ、他の言語の場合どうしているかというと、トランポリンするらしい。もちろん JavaScript でもトランポリンできる。トランポリンすると、再帰が深くなってもスタックオーバーフローしない。 処方箋 ざっくりいうと以下の処方でスタックオ
2018年の年末にAtomからEmacsにスイッチしてしようと決めてから、年末年始を利用して快適にコードが編集できるようにEmacsを鍛えていました。 Atomは大変素晴しいコードエディタで、初心者がプログラムを書く上で、必要な機能が最初から備わっています。これはVSCodeも同様でしょう。まさに生まれながらのプログラミングエディタと言えます。 Emacsに復帰してあらためて思ったのは、Emacsは生まれながらのプログラミングエディタではないということです。Emacsの初期設定でプログラミングをするには、自動補完もなければGitの対応も不十分で、あまりにも機能が足りていません。 ですが、Emacsが他のエディタと比べて劣っているかと言えばそうではありません。 Emacsの最大利点は即時拡張性 # 僕が感じたEmacsがAtomやVSCodeと比べて優れている点は「即時拡張性」です。 Ema
ボタンを見たら押したくなる ソラコム 松下(max)です。 AWS IoT 1-Click というものをご存知でしょうか?物理的なボタンを押すことで AWS Lambda を起動できる仕組みです。 今日、この AWS IoT 1-Click の対応デバイスに SORACOM LTE-M Button powered by AWS が加わりました! 今まで AWS IoT 1-Click に対応しているボタンデバイスには AWS IoT エンタープライズボタン、そして AT&T LTE-M Button の2機種でした。 Wi-Fi を用いる AWS IoT エンタープライズボタンはアクセスポイントが必要になるなど、主に屋内向けのソリューションです。一方 AT&T LTE-M Button は LTE ネットワークを利用する LTE-M を用いるため、屋外でも利用が可能なソリューションなので
ある日ふと思い立って調べてみた、イケてるしヤバい*1言語REBOLについて紹介します。 REBOLは、 Relative Expression Based Object Language 「相対的な表現をベースにするオブジェクト言語」の略です。よく意味わからん。 Wikipediaによると、 1997年にリリースされたREBOLは、カール・サセンラスが20年に渡って設計したものである。サセンラスは AmigaOS の主要アーキテクトであり、REBOLの設計にあたっては、表示的意味論の知識に基づいて、LISP、Forth、LOGO、Self といったプログラミング言語の概念を利用した。 引用元:REBOL - Wikipedia 大雑把にいうと、LispやForthやLOGOやSelfに似たスクリプト言語です。ここからダウンロードできます。最新バージョンはオープンソースライセンスになっていま
let findLargeTypescriptCommonJSFiles (path : String) = Directory.traverse (fun path -> if not (List.oneOf (File.extension path) [".ts", ".mjs", ".cjs"]) then print $"Skipping - wrong file type: {path}" else let contents = File.readString path let lines = String.splitNewlines contents if (List.length lines) <= 600 then print $"Skipping - too short: {path}" else let isCommonjs = lines |> List.any (f
President Trump at a campaign rally in Belgrade, Mont., in November. He captured the presidency with a largely improvisational candidacy, guided by his own instincts for personal combat and cultural division.Credit...Gabriella Demczuk for The New York Times President Trump’s defeat in his border-wall standoff with Congress has clouded his already perilous path to a second term in 2020, undercuttin
Wyllys, who was re-elected in October and had been set to begin a third term in February, was a close friend of Marielle Franco, the gay Rio councilwoman who was shot and killed along with her driver in March. His departure is likely to add to fears among Brazil’s LGBT community that homophobia is set to rise even further under the government of president Jair Bolsonaro, who has won notoriety for
Michel Legrand plays at a jazz festival in Ajaccio, Corsica, in 2012. Photograph: AFP/Getty Images
Not all novel titles manage so very literally to describe the contents, but this one – unapologetically deadpan yet enticingly comic – absolutely does. Keiko has been a worry to her family all her life, bullied and friendless, her behaviour sometimes even chilling. At school she bashes a boy over the head with a shovel to stop him fighting. Another time she asks her mother if she can eat a dead bu
The actors Ricky Gervais and Joanna Lumley, the broadcasters Stephen Fry and Ben Fogle, and the naturalist Chris Packham are among signatories. Packham said: “To the utter disgust of the rest of the world, Japan intends to resume killing whales. We don’t need statements of disgust, we need sanctions that will hurt. If shame won’t turn the Japanese then economic pain might.” Japan is facing interna
You and I, one day we’ll die from the same thing. We’ll call it different names: cancer, diabetes, heart failure, stroke. One organ will fail, then another. Or maybe all at once. We’ll become more similar to each other than to people who continue living with your original diagnosis or mine. Dying has its own biology and symptoms. It’s a diagnosis in itself. While the weeks and days leading up to d
The Organisation for the Prohibition of Chemical Weapons (OPCW) last month published its investigation into the chemical weapons attack on the Syrian town of Khan Shaykhun, which killed almost 100 people on 4 April and injured around 200. After examining the competing theories and conducting wide-ranging interviews, laboratory tests and forensic analysis of videos and photos, it concluded that the
Russia’s crafty campaign to hack the 2016 election may seem unprecedented, but in a way it’s not. Sure, secret agents and front groups have hacked email systems, dumped documents on WikiLeaks, paid an army of internet trolls and spent thousands buying political ads on social media. It all seems new because the technologies are new. But it’s not the first time a government tried to mess with our he
LARGE AND sustained increases in the cross-border flow of goods, money, ideas and people have been the most important factor in world affairs for the past three decades. They have reshaped relations between states both large and small, and have increasingly come to affect internal politics, too. From iPhones to France’s gilets jaunes, globalisation and its discontents have remade the world.
Your effort and contribution in providing this feedback is much appreciated.
The story of Britain’s Queen Anne and the two women who vied to be her treasured companion is deftly told in Yorgos Lanthimos’ inventive film “The Favourite.” It’s drawn 10 Oscar nominations, tying “Roma” in leading this year’s Academy Awards. “The Favourite” is inspired by, though far from entirely faithful to, events in the declining years of the last member of the House of Stuart to rule Englan
SUPPRESSIO VERI, suggestio falsi. Over the course of many years, without making any great fuss about it, the authorities in New York disabled most of the control buttons that once operated pedestrian-crossing lights in the city. Computerised timers, they had decided, almost always worked better. By 2004, fewer than 750 of 3,250 such buttons remained functional. The city government did not, however
KubeCon + CloudNativeCon 2024Join us for three days of incredible opportunities to collaborate, learn and share with the cloud native community. Buy your ticket now! 12 - 15 November | Salt Lake City Share Process Namespace between Containers in a PodThis page shows how to configure process namespace sharing for a pod. When process namespace sharing is enabled, processes in a container are visible
Banksy artworks invariably draw widespread attention when they are discovered, and now authorities in Tokyo are looking into whether the elusive street artist may have also left their mark on the Japanese capital. An investigation is underway to ascertain whether an image of a rat holding an umbrella, reminiscent of some of the provocateur’s best-known works, was in fact created by the still unide
Japan and South Korea are engaged in a heated military dispute that analysts say could damage the already tenuous geopolitical situation in northeast Asia if the two sides do not reach a resolution. The spat began December 20 after an encounter between a Japanese plane, which Tokyo said was collecting intelligence, and a South Korean destroyer, which Seoul said was on a humanitarian mission. Both
はじめに Kaggleで使えるPandasの使い方を備忘録として残します。 随時更新していく予定です。 更新:2019年1月29日15時 様々なコンペで使える便利な関数を追記しました。 Pandas Basics Cheat Sheet(基本的な使い方) [引用]https://becominghuman.ai/cheat-sheets-for-ai-neural-networks-machine-learning-deep-learning-big-data-678c51b4b463 プログレスバーを表示する df.apply()やdf.map()の進捗を見たい時に、 tqdmというライブラリを使うことでプログレスバーを表示することができます。 import pandas as pd import numpy as np from tqdm._tqdm_notebook import t
Amazon Elastic Container Service (ECS) および Amazon Elastic Container Registry (ECR) が AWS PrivateLink のサポートを開始しました。AWS PrivateLink は AWS のサービスに可用性が高くスケーラブルな方法でアクセスするように設計された専用テクノロジーで、ネットワークトラフィックが AWS ネットワークの外に出ることはありません。ECR および ECS 用の AWS PrivateLink エンドポイントを作成すると、それらのサービスエンドポイントは VPC でプライベート IP アドレスを持つ Elastic Network Interface として表示されます。 AWS PrivateLink のサポートがなかった従来までの Amazon EC2 インスタンスは、ECR に保存
研究(論理学) 私の専門は哲学的論理学で、循環的な現象(自己言及的な現象とも言います)に興味を持ち、非古典論理、特にファジイ論理上の素朴集合論および無制限なT-図式を許すような真理理論を主に研究しています。どちらの理論も、古典論理上ではラッセルのパラドックスや嘘つきのパラドックスのような循環的なパラドックスにより矛盾を導きますが、非古典論理上では矛盾を導きません。それらの理論は、非常に面白い性質、例えば一般化された再帰的定義や余帰納的定義などが可能になるという性質を持ち、その研究は、哲学的論理学の視点からのみならず、計算機科学の視点からも非常に興味深いものです。 過去の大学での論理学の授業は、以下のYouTubeチャンネルで配信しています。 https://www.youtube.com/channel/UCwXt5me9JwL1N7gkXIDLYXQ?view_as=subscriber
His poll numbers were plummeting. His FBI director was decrying the dysfunction. The nation’s air travel was in chaos. Federal workers were lining up at food banks. Economic growth was at risk of flatlining, and even some Republican senators were in open revolt. So on Friday, the 35th day of a government shutdown that he said he was proud to instigate, President Trump finally folded. After vowing
>>357 将来の展望的話です。 サンバイオに直接的な話ではありませんが少しだけ。 最近ニュースでも「医師の働き方改革」残業時間の多さが話題にあがっていることご存知だと思います。 例えば従弟の循環器内科医は中核病院勤務ですが、ほぼ毎日不規則な生活で自宅に帰っても電話がよくなっております。少し可哀そうな気持ちになるほど・・・です。 AIによる画像診断技術が進歩しており、医師が行なっている大量の画像から診断する時間削減にも大きく将来寄与すると思っています。 現在のAIの読影レベルは、研修医とベテラン医師との間ぐらいと聞いております。しかし数年後はもっと精度よくベテラン医師程度にレベルは上がると予想しています。 また脳梗塞関係で言うと、2018年にviz ai社がFDAから脳梗塞診療サポートシステムが認可されています。 AI技術やAR医療の発展により医師不足はもう話題に上がらない日がやってくるか
>>717 まっいっか^^; さん 素朴な疑問ですが、深いですね笑。結論から言うと、完璧に全て分かっているわけではありませんが、サンバイオは必死に明らかにしようと、基礎的なデータを出しています。 判明しているところでは、血管新生、神経炎症抑制、バイオブリッジ効果による神経新生の3点かと思います。 (もちろんこれら以外にもメカニズムが隠れている可能性はあります。) 基本的には、SB623の分泌因子による効果が大きいと考えています。SB623は骨髄由来の間葉系幹細胞にNOTCH1を遺伝子導入することで得られます。NOTCH1を導入する利点は、NOTCH1導入前の親株と比較することで、色々と明らかになっています。ポイントはbFGF、VEGFという栄養因子が親株よりも発現が高まっている点です。 1つ目の血管新生についてですが、VEGFが血管内皮細胞に作用することで血管が新生されます。脳梗塞によって
Chris Lattner has commented on the OP:----- Disclaimer: I'm not an apple employee and not am not lawyer, this is just my understanding of the situation having spent lots of time talking to lawyers and other experts about this: I agree with much of the sentiment that software patents are often silly and the system is broken in many ways. This patent is a reasonable example of that (patenting syntac
サービス終了のお知らせ SankeiBizは、2022年12月26日をもちましてサービスを終了させていただきました。長らくのご愛読、誠にありがとうございました。 産経デジタルがお送りする経済ニュースは「iza! 経済ニュース」でお楽しみください。 このページは5秒後に「iza!経済ニュース」(https://www.iza.ne.jp/economy/)に転送されます。 ページが切り替わらない場合は以下のボタンから「iza! 経済ニュース」へ移動をお願いします。 iza! 経済ニュースへ
いじめを放置した教職員を懲戒処分の対象とすると明記した議員立法「いじめ防止対策推進法改正案」が、28日召集の通常国会に提出される。与野党の賛成多数で可決、成立する見通しだ。 改正案は、自民、公明、立憲民主、共産各党など超党派による「いじめ防止対策推進法に関する勉強会」(座長=馳浩・元文部科学相)が近く取りまとめる。いじめ防止の強化、徹底が最大の狙いだ。 条文の素案では、いじめ防止対策を「学習指導等と等しく重要な事務」と明記。いじめ防止を教職員の義務と位置付けた。現行でも、いじめをめぐり教職員の悪質な対応があれば、教育委員会などが認定し、地方公務員法に基づき処分している。いじめの放置や助長などが処分対象になると明示することで、「いじめ問題に関心が薄いケースが多い」との指摘もある教職員の意識改革を促す狙いがある。 いじめによる自殺など重大事態が起きた際、被害者側が、自治体の首長に調査の申し立て
ヒスパニック系、民主社会主義者であり米国史上最年少の女性下院議員でもあるアレクサンドリア・オカシオ・コルテスが、2019年1月19日、ニューヨークシティーのウィメンズマーチで、キング牧師を彷彿とさせる演説をした。クーリエ・ジャポンが全訳でお届けする。 こんにちは。ありがとう、ニューヨークシティー! みんな、ありがとう! みんな、大騒ぎする用意はいい? みんな、私たちの権利のために闘う用意はいい? みんな、私たちの国アメリカ合衆国では、誰もが愛され、誰もが正義を受けるに値し、誰もが平等な保護と繁栄を受けるに値すると言う用意はいい? ここに立ててとても光栄です。 今日、私たちがここに集まっているのが、マーティン・ルーサー・キング・デー直前の週末なのも偶然とは思えません。 というのも、この瞬間、そしていま私たちのいるところは、公民権運動が中断したところからの再開なんだと思うからです。 その「たい
大坂なおみの国籍選択の期限が来る。五輪もあるし、多分米国籍を選択すると思うが、そのときの日本人の失望はすごいだろうな。政権が倒れるぞ、下手すると。マスコミも困るだろうな。どうする諸君。
Mariko Kosaka さんをゲストに迎えて、Slack, GitHub, こんまりメソッド、JavaScript 標準ライブラリ、deno, カンファレンスなどについて話しました。 Show Notes Say hello, new logo | The Official Slack Blog Slack’s product chief is out ahead of direct listing The Starbucks Logo Over Time Gap Reverts to Original Logo After Social Media Backlash Atlassian + Slack Google Hangouts Chat Microsoft Teams Spectrum is joining GitHub The untold story of Github O
動画の中で、リーダーの大野智さんは「ぼくたち嵐はたくさんの話し合いを重ね、2020年12月31日をもって嵐としての活動を休止させていただくことになりました。突然の発表でおどろかせてしまっていると思いますが、だれよりもファンの皆さまに決断をちゃんとお話しさせていただきたいと思います」と話しています。 さらに、大野さんは「2020年という区切りで、5人それぞれの道を歩んでいいのではないかと、また、何ごとにもしばられず自由に生活したいとメンバーに思いを伝えた。5人で話し合った結果、嵐を休止するという決断に至った」と話しています。 「嵐」は国民的な人気を集める男性アイドルグループで、平成11年にシングル「A・RA・SHI」でCDデビューして以降、数多くのヒット曲を発表してきました。 NHKの紅白歌合戦には平成21年から去年まで10回連続で出場し、去年は「嵐×紅白スペシャルメドレー」を歌って白組の最
1979年新潟県生まれ。2003年慶應義塾大学総合政策学部卒業。同年日本銀行入行。大阪支店、調査統計局などを経て18年退社。同年たくみ総合研究所を設立し代表に就任。 厚生労働省の毎月勤労統計の手抜き問題が泥沼の様相を呈する中で、他のあらゆる統計の大元として政府が発表している56の「基幹統計」と呼ばれる調査のうち、22の調査に何らかの問題があったことが明らかになり、突如として日本の統計のデタラメぶりが国内外に衝撃を与えている。基幹統計は日本が世銀、IMF、OECDなどの国際機関に報告しているGDPなどの諸統計にも影響を与えるため、日本がそうした国際機関に過った情報を提供していたことになる可能性もあり、まだまだ波紋は広がりそうだ。 われわれは中国を始めとする専制国家や発展途上国の経済統計には政府の意図が反映されている可能性があるので信用ができないという話をこれまでたびたび耳にしてきた。しかし、
1979年新潟県生まれ。2003年慶應義塾大学総合政策学部卒業。同年日本銀行入行。大阪支店、調査統計局などを経て18年退社。同年たくみ総合研究所を設立し代表に就任。 厚生労働省の毎月勤労統計の手抜き問題が泥沼の様相を呈する中で、他のあらゆる統計の大元として政府が発表している56の「基幹統計」と呼ばれる調査のうち、22の調査に何らかの問題があったことが明らかになり、突如として日本の統計のデタラメぶりが国内外に衝撃を与えている。基幹統計は日本が世銀、IMF、OECDなどの国際機関に報告しているGDPなどの諸統計にも影響を与えるため、日本がそうした国際機関に過った情報を提供していたことになる可能性もあり、まだまだ波紋は広がりそうだ。 われわれは中国を始めとする専制国家や発展途上国の経済統計には政府の意図が反映されている可能性があるので信用ができないという話をこれまでたびたび耳にしてきた。しかし、
“心の性別”を左右する脳の性差を人為的に切り替えることにショウジョウバエで成功 不要タンパク質を分解するための酵素が、細胞の性を決める役目も担っていることを発見 ヒトでも同様の仕組みが働いていれば、心の性の多様なあり方を科学的に理解する手がかりに NICT 未来ICT研究所は、ショウジョウバエの神経細胞にオスの特徴を作り出す“オス化の暗号タンパク質”を発見しました。さらに、このタンパク質の末端が切断されると、オスではなくメスの特徴を作る働きに切り替わることを明らかにしました。オスでありながら“メス化の暗号タンパク質”を持つように遺伝子改変すると、オスの異性に対する関心が低下しました。この発見により、心の性の多様なあり方を科学的に解明することが可能になると期待されます。なお、本研究の成果は、2019年1月11日(金)(日本時間19:00)、英国科学総合誌「Nature Communicati
2019/01/26 YAPC::Tokyo 2019
最近、GCPの注目度が高まってきていると感じています。 機能が多いAWSよりもより手軽にできるという点やkubernetesの恩恵を受けやすいのが魅力的だと思います。さらに、個人的に今後開発にGo言語を使う新規プロジェクトが増えいくと思っていて、その際にGoogle発のものは相性よさそうだなーとぼんやり思ったりしています。 インフラを本格的に運用した経験はありませんが、簡単にRailsアプリをGAE(Google App Engine)にデプロイしてみたのでその方法をメモしておこうと思います。 GCP内にプロジェクトを作成し、gcloudをインストールしてある状態であることが前提です。 GCPの公式ドキュメントをよめば問題なくデプロイできるので、注意点や重要なポイントのみを中心に記していきます。 App Engineにデプロイ デプロイしたいアプリのディレクトリ直下にapp.yamlを用意
TL;DR まあぜんぜん最強ではないですが、自分好みの配色 Web サービスをつくってみました yum-yum COLOR 個人で公開まで作りきったのは初めてでしたので、色々とつまずきました そんなつまずきポイントや、 Web サービスを公開するために利用した技術などを紹介していきます ❗ なぜ配色サービス ❓ 色彩検定という資格をご存知でしょうか? 僕はプログラマーなのに 色が好き で、この試験を受検しました。 その学習をしてる時にこんな風に思ったのです。 この色相環、これを使って配色選べたら便利じゃない? あっ、このトーン、これを使って配色選べたら便利じゃない?? と。 受検勉強の追い込みをしないといけないのに、そっちのけで作り始めてしまった...というわけです (一時はどうなるかと思いましたが、無事に検定は合格しましたよ 🎉 ) どんなサービスなの ❓ 使い方 色相環 と Hue
The victim was forced to sleep in a cupboard under the stairs, jurors heard A man allegedly kept as a slave and forced to live under the stairs by his housemates was "treated like a piece of cloth", jurors heard. Bristol Crown Court was shown a police video where Gabriel Nicolae spoke of cruelty by people he saw as "family".
Gladys Knight has spoken out in defence of her decision to sing the US national anthem at next month's NFL Super Bowl. The soul singer has faced criticism since the announcement, because of an ongoing row about player protests. Since 2016, some American football players have refused to stand for the anthem to protest against racial injustice. Critics, including President Trump, accuse them of disr
Australia is well-known for its unique turns of phrase. But few realise how many terms in use globally originated down under. From 'uni' to 'barbie' to 'hurl', there are a great number of words used in English around the world that have their origins in Australia. Watch this short video to get a glimpse of how much Australia and its culture have influenced global English, and read this article to
President Donald Trump has yielded to political pressure to end the longest US government shutdown in history. After 35 days, he backed a deal to fund federal agencies for three weeks, but it includes none of the money he has demanded for a US-Mexico border wall. The Republican president previously vowed to reject any budget unless it included $5.7bn (£4.3bn) to fund his signature campaign pledge.
Tony Mendez, the real CIA spy behind Argo, dies aged 78
The microbiome inside our bodies dictates many aspects of our health – and is as individual as we are. Inside your gastrointestinal (GI) tract are trillions of micro-organisms, including bacteria, fungi and viruses. You have roughly the same number of micro-organisms in there, mostly in the large intestine, as you do human cells in your entire body. But only 10% to 20% of the bacteria you have in
Brumadinho dam: 'Very low' hope for hundreds missing in Brazil Rescuers are searching for hundreds of people, missing after a dam collapse caused a huge mudslide Rescue teams searching for some 300 people missing after a dam collapsed in Brazil on Friday say the chances of finding survivors are "very low".
A dam has collapsed at an iron-ore mine in south-eastern Brazil, covering a vast area in a sea of muddy sludge that has swept over roads and destroyed buildings. Many people are feared dead and scores are thought to be missing after the dam, which is owned by Brazil's largest mining company, Vale, gave way on Friday
Indian officials have begun relocating some 300 crocodiles from a reservoir next to the world's tallest statue to allow a seaplane service for visitors.
US President Donald Trump was greeted with laughter in September when he told the UN that he had accomplished more than "almost any administration" in his country's history. Mr Trump admitted that he "didn't expect" that reaction - but that it was "just fine". It was one example of the many reasons people laugh - and most of them are not because somebody is being particularly funny.
Vienna was an intellectual powerhouse in the early 20th Century and two male artists are considered the giants of Viennese modernism: Gustav Klimt and Egon Schiele. But Vienna's Belvedere Museum is now showcasing the long-neglected contribution of women artists in that period. City of Women displays works by about 60 female artists, covering the years 1900-1938. Some works had been hidden away in
The number of people killed in London during 2018 was the highest figure for a decade. But what is life like for a senior detective investigating these crimes? The Metropolitan Police's Homicide and Serious Crime Command launched more than 130 inquiries in 2018, as well as continuing to investigate dozens of unsolved cases from previous years. The unit is split into 18 teams, which each take their
Julen's parents José and Victoria have experienced tragedy before Rescuers in Spain have found the body of a two-year-old boy who fell into a borehole near the southern city of Málaga, officials say. The boy, named Julen, disappeared into a narrow well more than 100m (330ft) deep during a family outing on 13 January.
Nurse arrested after vulnerable patient gives birth in US clinic
Many people believe they have a plan for retirement – but there is a big gap between expectation and reality. For many, it’s a question that ranks far down the list of more urgent priorities, like buying groceries, paying rent or student loans. But chances are, it’s more than you’d think – due to a number of reasons that reveal how our expectations of our later years don’t match up with the realit
グロービス経営大学院の在校生と卒業生が一堂に会し、各界で活躍する経営者や政治家、学者の方々を呼んで開催したカンファレンス「あすか会議2017」。その人気セッション「10年後、君に仕事はあるのか?~AI時代にも価値を創出する働き方とは」をお届けします。(全3話) 動画版はこちら>> まずはアクティブ・ラーニングを押さえる 藤原和博氏(以下、敬称略):この講演を聞いていただくと、おそらく会場にいる大半の人の人生が変わると思います。のちほどオンラインで見る人も同じように変わりますから、そのつもりでいてください。では早速、“敎育界のさだまさし”が1時間番組でお届けしますが(会場笑)、まずはストレートに、「この10年で最大の社会変化は何か」というところから入りたいと思います。 「アクティブ・ラーニング」といいまして、今日皆さんには頭をぐるぐる回転させてもらいながら、会場で隣近所にいる3人から5人とブ
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.
42 performance tips for Ruby on Rails42 quick tips to increase performance in Ruby on Rails applications. Learn about caching, database optimizations, faster background jobs, and more Since Ruby on Rails is not the fastest web framework out there you sometimes need to improve the performance in order to keep up. This post will list 42 of my favorite performance tips for making your app faster. TLD
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く