「F*」カテゴリーアーカイブ

パイプライン演算子の歴史 – まめめも

パイプライン演算子の歴史 - まめめも

パイプライン演算子の歴史 - まめめも

Ruby の開発版にパイプライン演算子(pipeline operator)が試験的に導入されましたが、いろいろあってプチ炎上になっています(チケット)。 せっかくの機会なので、パイプライン演算子の歴史を調べてみました。付け焼き刃の調査なので、間違ってたら教えてください。 パイプライン演算子とは こんな感じのものです。 x...

はてなブックマーク - パイプライン演算子の歴史 - まめめも はてなブックマークに追加

羽生善治九段で学ぶ将棋棋士の段位・肩書き

羽生善治九段で学ぶ将棋棋士の段位・肩書き

羽生善治九段で学ぶ将棋棋士の段位・肩書き

去る12月20日・21日に行われた第31期竜王戦七番勝負第7局は広瀬章人八段の勝利に終わり、 4勝3敗で広瀬八段が羽生善治竜王から「竜王」のタイトルを奪取しました。 これに伴い無冠となった羽生善治氏の肩書きが「九段」となることが連盟から発表されました。 なんで肩書きでこんなに騒ぎになっているのか?と訝っている...

はてなブックマーク - 羽生善治九段で学ぶ将棋棋士の段位・肩書き はてなブックマークに追加

「もう将棋を指すのは無理なのかもしれない」―― うつ病になった人気棋士の喪失と復活 – Yahoo!ニュース

「もう将棋を指すのは無理なのかもしれない」―― うつ病になった人気棋士の喪失と復活 - Yahoo!ニュース

「もう将棋を指すのは無理なのかもしれない」―― うつ病になった人気棋士の喪失と復活 - Yahoo!ニュース

盤面の駒の動きが全く頭に入らない――。昨年初夏、将棋棋士・先崎学九段は混乱の中にいた。うつを発症していたのだ。アマチュアですら簡単に解ける詰将棋も解けない。「もう将棋は指せないかもしれない」。そう思い詰めることもあった。かつて「天才」とたたえられた棋士の、喪失から復活までの軌跡を追う。(ノンフィク...

はてなブックマーク - 「もう将棋を指すのは無理なのかもしれない」―― うつ病になった人気棋士の喪失と復活 - Yahoo!ニュース はてなブックマークに追加

私がゼミ飲み会で「女子のサラダ取り分け」を禁止することがある理由(小宮 友根) | 現代新書 | 講談社(1/4)

私がゼミ飲み会で「女子のサラダ取り分け」を禁止することがある理由(小宮 友根) | 現代新書 | 講談社(1/4)

私がゼミ飲み会で「女子のサラダ取り分け」を禁止することがある理由(小宮 友根) | 現代新書 | 講談社(1/4)

たかがサラダ、されどサラダ 先日、TABI LABOというウェブメディアで「サラダ取り分け禁止委員会」という興味深いものが取り上げられている記事を見かけました(こちら。記事自体は2018年7月)。 「委員会」は、はましゃかさんというライターさんが一人で立ち上げたもので、飲み会でサラダが出たときに「女子」が取り分...

はてなブックマーク - 私がゼミ飲み会で「女子のサラダ取り分け」を禁止することがある理由(小宮 友根) | 現代新書 | 講談社(1/4) はてなブックマークに追加

花王が驚きの新技術、超極細糸が第二の皮膚に 来年には化粧品にも応用│WWD JAPAN

花王が驚きの新技術、超極細糸が第二の皮膚に 来年には化粧品にも応用│WWD JAPAN

花王が驚きの新技術、超極細糸が第二の皮膚に 来年には化粧品にも応用│WWD JAPAN

花王は11月27日、軽く柔らかい自然な積層型極薄膜を肌表面に作る“ファインファイバー技術”を開発したと発表した。同社が持つさまざまな製剤とこの新技術を組み合わせることでスキンケアやメイクなど化粧品の領域において新たな提案を行うと共に、将来的には治療領域への応用も視野に入れる。 “ファインファイバー技術”は...

はてなブックマーク - 花王が驚きの新技術、超極細糸が第二の皮膚に 来年には化粧品にも応用│WWD JAPAN はてなブックマークに追加

東京医科大 “女子減点” 元幹部「不正という認識なかった」(TBS系(JNN)) – Yahoo!ニュース

東京医科大 “女子減点” 元幹部「不正という認識なかった」(TBS系(JNN)) - Yahoo!ニュース

東京医科大 “女子減点” 元幹部「不正という認識なかった」(TBS系(JNN)) - Yahoo!ニュース

東京医科大学が入学試験で女子受験生の得点を一律に減点していた問題で、大学で入試業務に携わっていた元幹部が取材に対し、「不正という認識はなかった」と話しました。 この問題は、東京医大が今年2月の入試で女子受験者の得点を一律に減点し、女子の合格者を3割程度に抑えていたものです。これについて、入試業務に...

はてなブックマーク - 東京医科大 “女子減点” 元幹部「不正という認識なかった」(TBS系(JNN)) - Yahoo!ニュース はてなブックマークに追加

F*(F Star)の複雑な型システムの何が嬉しいのか? – Amosapientiam

F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam

F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam

マイクロソフトが開発中のF* という依存型プログラミング言語を少し触ってみました。 この言語には強力で複雑な型システムが組み込まれています。 現状、依存型言語は世間にはあまり広まっていませんので F*とは? 複雑な型ってなんだろう? 複雑な型システムを組み込んで何が嬉しいんだろう? 何が嬉しくないんだろう?...

はてなブックマーク - F*(F Star)の複雑な型システムの何が嬉しいのか? - Amosapientiam はてなブックマークに追加