Egison Workshop 2019 https://connpass.com/event/150001/ での講演スライド
the morning paper a random walk through Computer Science research, by Adrian Colyer Made delightfully fast by strattic Mergeable replicated data types Kaki et al., OOPSLA’19 This paper was published at OOPSLA, but perhaps it’s amongst the distributed systems community that I expect there to be the greatest interest. Mergeable Replicated Data Types (MRDTs) are in the same spirit as CRDTs but with t
理化学研究所(理研)生命機能科学研究センター成長シグナル研究チーム(研究当時)の廣中謙一客員研究員、西村隆史チームリーダー、大阪大学大学院理学研究科の藤本仰一准教授らの共同研究チームは、昆虫の種ごとの個体の最終的な体の大きさ(最終サイズ)を決める重要な要因が、「性成熟の開始に必要な最低の大きさ(臨界サイズ)」であることを明らかにしました。 本研究成果は、幼若期から性成熟を伴う最終成長期への発生過程と体のサイズの進化との関係を解明する手掛かりとなり、今後は完全変態昆虫以外でも、その生物に特有の生活史を組み込んだ適切なエネルギー配分モデルを構築することで、生物のサイズの進化における普遍的な原理の発見が期待できます。 今回、共同研究チームは、ショウジョウバエ属[1]の9種を用いて、種ごとに異なる最終サイズ(体重)が、幼虫期において変態[2]の引き金となる臨界サイズ(体重)に比例することを発見しま
This blog post is a slightly edited version of the live transcript of the talk I gave at RustFest 2019 in Barcelona on November 10th, 2019. As it's a transcript some parts of it are a bit repetitive or badly worded, but I hope the message behind the talk will be conveyed by this post anyway. The original transcript was provided by the RustFest organizers, and it's released under the Creative Commo
JJUG CCC 2019 Fall に行ってきました! 最近 Java のシステムをまたいじるようになって*1、 Java 欲が高まってきていたところにいろんなセッションを聞けてすごいテンション上がりました。 特に、「開け!ドメイン駆動設計の扉」がちょうどこれから一部のシステムをリプレースするにあたって導入したいけど「DDD、さっぱりわからん」と思っていたところだったのでとても助かりました。 また、マニアックな話も多数あってやっぱり JJUG CCC 最高!という気持ちです。 「CLR の ValueType を起点に Project Valhala を覗いてみる」とか「オレ流OpenJDK「の」開発環境」とか、普段の JJUG では聞けない、でもとても知りたかった内容でした。こういうの、もっと聞きたい! そして、懇親会で話しかけてくださった方、ありがとうございました! すごく楽しかった
main :: IO () main = do putStrLn ( "https://github.com/" ++ githubUser ) putStrLn ( "https://twitter.com/" ++ twitterUser ) putStrLn ( "https://linkedin.com/in/" ++ linkedinUser ) putStrLn ( "14D4 0CA1 E1A8 06A0 15C4 A06B 372E C33E B388 121A" ) where twitterUser = "mpmlopes" linkedinUser = "mpmlopes" githubUser = "mlopes" I have recently decided to update my vim configuration for Haskell which had
One of the best features of Haskell are typeclasses. Still, it is not easily possible to have multiple implementation of the same typeclass for the same data type. For example, to define an additive and a multiplicative instance of Monoid on Int, one needs to use specific newtype wrappers such as Sum and Product. On the other hand, in Idris it is possible to define multiple named implementations o
Haskell の開発環境を構築する方法は何通りかあり、新しいツールが出ると「今はこれだ」とほめるブログも公開されますがそれが初学者を混乱させることがよくあります。 本記事ではビルドツールのインストールにしぼり、開発支援、例えば ghc-mod・haskell-ide-engine・hhp には言及しません。 いくつか典型的な構築方法を確認した後、新たに私が作成したツールを紹介しより初学者を混乱に落とし入れます。 重鎮 Haskell Platform www.haskell.org Haskell 解説書史1の第1波から第3波までのデファクトスタンダードであった重鎮 Haskell Platform です。コンパイラー GHC とパッケージマネージャー Cabal、それにいくつかの準標準ライブラリーをまとめてインストールできるツールでこれをインストールするだけで入門書のコードはすぐ動くと
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く