Rustで単一化を書くスマートな方法を考えた

2023/09/10 18 users rust ノート 変数 変数参照 実装

課題 Rustでシンプルな単一化を書くことを考えます。単一化は主に型推論の実装に用いられます。 ここでは以下の方針で実装します。 一階の単一化。 変数は非負整数のidで表現し、0から順に付番する。 変数以外の項はRustのADTを使った通常の木構造で表現し、ノードの共有は行わない。 変数参照の縮約は行わない。 この方... 続きを読む

『なっとく！関数型プログラミング』は読者の理解度の進捗を先読みして作り込まれた”プログラミング入門”の良書 - Magnolia Tech

2023/08/06 377 users 良書 進捗 Magnolia Tech プログラミング入門

なっとく！関数型プログラミング 作者:Michał Płachta翔泳社Amazon 良い、買おう、読もう、（コードを）書こう、以上！ めっちゃ良いですよ、この本 中盤のプリミティブじゃやりづらい→直積→直和→二つ合わせてADT→値を取り出すためのパターンマッチの解説の流れの疾走感がいいですね— magnoliak🍧 (@magnolia_k_) 2023年... 続きを読む

男性ホルモンが関与か　新型コロナ感染、症状悪化―前立腺がん患者調査・イタリア：時事ドットコム

2020/05/07 11 users 新型コロナ感染 関与 時事ドットコム イタリア 症状悪化

男性ホルモンが関与か　新型コロナ感染、症状悪化―前立腺がん患者調査・イタリア 2020年05月07日08時23分 新型コロナウイルスの感染や症状悪化には男性ホルモン（アンドロゲン）が関与しており、前立腺がん患者に行う「アンドロゲン遮断療法（ＡＤＴ）」が感染予防や治療に役立つ可能性があると、イタリア・パドバ大など... 続きを読む

続くといいな日記 – type family を使って再帰的 ADT をオープンにする

2019/11/17 23 users Haskell プログミング Grow 反面 保守

元ネタは Trees that grow ． Haskell では代数的データ型 (ADT) を使ってプログミングに使うデータ構造を定義し，その構造を操作することによりプログラミングを行う． ADT はパターンマッチが容易で，再帰的に定義でき，基本的に閉じた構造になっている．そのため便利な反面，その機能が保守で仇となる場合もある．こ... 続きを読む

Rustに入門した - The curse of λ

2018/02/09 40 users rust trait The curse of 構文 ナシ

Rustに入門して2週間くらい経ったぜ TL;DR Rustは普通に便利ないい言語 入門した 入門にあたっては プログラミング言語Rust を読んだ。 これ の翻訳版ぽい。 読んでRustに対して思ったこと: 読んだやつは古いドキュメントの翻訳版だったようで一部記述が古いっぽかった 構文はシンプルだけど必要なものは揃ってる感 ML風でADTもパターンマッチもあるしtraitもあって言うことナシでし... 続きを読む

集中力が続く人と続かない人の決定的な差 | リーダーシップ・教養・資格・スキル | 東洋経済オンライン | 経済ニュースの新基準

2016/11/12 27 users リーダーシップ 教養 スキル 東洋経済オンライン 資格

私は、こうしたADTの問題に悩む人たちに、実用的なヒントの提案や、それぞれの人の心理状態にもとづいたアドバイスを行ってきました。そして、彼らが自ら「集中力低下」と戦ううえで不可欠な要素を「5つの基本プラン」としてまとめました。それは、「エネルギー」「感情」「エンゲージメント」「仕組み」「コントロール」の5つです。 集中力をコントロールするための「5つの基本プラン」 ①エネルギー 人間は、エネルギー... 続きを読む

グーグル、「Eclipse」での「Android」アプリ開発のサポートを2015年末で終了へ - ZDNet Japan

2015/06/30 20 users Eclipse グーグル Android アプリ開発 サポート

Googleは米国時間6月26日、「Android Developer Tools (ADT) in Eclipse」の開発とサポートを2015年末で終了すると発表した。この打ち切り措置は、Google独自の開発環境「Android Studio」の開発に注力するためだ。 「Eclipse」からの移行に伴い、Android Studioでは「Android NDK」の追加サポートを実施し、将来的に... 続きを読む

Google、Eclipse用ADTの開発とサポートの終了を発表、Android Studioへの移行を呼びかけ | juggly.cn

2015/06/28 123 users juggly.cn 移行 Android Studio 開発

Google が Android アプリを開発するのに古くから提供している Eclipse 用の Android Development Tools プラグインの開発とサポートの年内で終了することを公式ブログを通じて発表しました。 ADT は、Java などの様々なプログラミング言語に対応した統合開発環境 Eclipse のプラグインで、Android SDK のコマンドラインに GUI を提供す... 続きを読む

Gradleを使って業務を楽にする - Yahoo! JAPAN Tech Blog

2014/12/18 83 users Gradle Eclipse IDE Yahoo 業務

Yahoo! JAPAN Tech Advent Calendar 2014の18日目の記事です。一覧はこちら 普段 Android アプリの開発を行っている takahirom こと毛受（めんじゅ）です。 さて、Android のIDEとしては先日長きベータ時代に終わりを告げてついに Android Studio が 1.0 となりました。 今まで Eclipse + ADT 環境から移行するの... 続きを読む

[翻訳] android best practice - Qiita

2014/12/11 232 users Qiita GitHub Eclipse 快諾 原文

githubで★を集めてるandroid best practiceが勉強になるなぁと感心しておりまして、 思い切って翻訳していいかどうか問い合わせてみると快諾いただけたので翻訳してみました。 (Eclipse + ADTの話もでてますがそのまま訳してます。) 原文 : https://github.com/futurice/android-best-practices (Qiitaに投稿するつい... 続きを読む

Githubからプロジェクトをインポートする | Tech Booster

2013/10/27 21 users GitHub Issue Tech Booster web

ADT (Android Developer Tools)へGitHubからプロジェクトをインポートする方法を紹介します。GitHubはソフトウェア開発のための共有サービスです。Webを通じてプロジェクト（主にソースコードとドキュメント、issue）を管理できます。バージョン管理の方法は名前のとおりGitを採用しています。今回はすでにあるプロジェクトをcloneしてローカル環境でビルドできるように... 続きを読む

ADTからExportしたbuild.gradleのdependenciesが空になったら - _development,

2013/06/08 9 users export Android AndroidStudio

android, gradleADTからAndroidStudioにプロジェクトを移行するには、Exportコマンドを使うと簡単にAndroidStudio用のgradle.buildを生成できます。ですが、現行バージョンでは何故かdependenciesが空になってしまうので手作業で追加する必要があります。 Exportの手順は以下のとおりです。 プロジェクトを選択 Export... > An... 続きを読む

Eclipse 4.2 with PHP, Android and Unit testing | Stürmer, Benjamin

2012/09/05 52 users Aug Eclipse PHP Android SDK

Eclipse 4.2 with PHP, Android and Unit testing Aug 30, 2012 in Android, Web Programming Tags: ADT, Android SDK, Eclipse, Eclipse 4.2, Eclipse Juno, PHP Tool Integration, pti How to configure Eclipse 4... 続きを読む