「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き） - 主に言語とシステム開発に関して
講義ノートの目次へ ラムダ計算は，コンピュータ・サイエンスの重要な１分野。 「λ」を使って各種の関数を記述し，λどうしの計算方法を習得すれば・・・ HaskellやF#などの関数型言語を習得するために役立つ。 プログラミングにおいて，関数についての理解を深めることができる。 複雑なアルゴリズムを簡易に記述して，挙動や性質を予測することができる。 計算機科学の，より深い専門的な話題を理解するための足がかりを得られる。 などのメリットがある。 下記に，独学でλ計算を勉強するための， 入門レベルの講義ノートやWebページを掲載する。 読みやすい便利なもの・わかりやすいものから，応用的なものへと並べてある。 質の高いものだけを精選し，わかりづらい資料は除外してある。 ラムダ計算の概要 ラムダ計算の基礎 ラムダ計算の応用 復習のための問題（入門レベル） ※λ計算を利用した計算量・計算複雑性・計算可能
Google Now - 高見知英のアプリブログ
こちらではおひさしぶりです。決してやめたわけではありません。時間がなくてなかなか更新出来ていませんでした。 さて、今回紹介するのはAndroid4.1以降のOSに標準搭載されているGoogle Nowについて。機種により表示方法は異なりますが、ホームボタンなどの基本的なキーがソフトキー(画面に表示されているだけで、実際に押して操作出来るボタンではないもの)の機種では、ホームキーを押したまま指を上にスライドさせると表示されるはずです。 このGoogle Now、登場初期の頃こそできることは天気予報の表示やワンタッチでの検索など、基本的なことしかできませんでしたが、最近は結構出来ることが増えました。 たとえば、アラームの設定。 ほかにも、場所や時間を指定して、その条件を満たしたときに知らせてくれる、リマインダの設定。 そのほかにも、アプリを音声で呼びかけて起動することもできます(2014/06
【Androidスマホのコツ】知ってるようで意外と知らない？「Google Now」の使い方 | オクトバ
Android 4.1の登場と同時に実装されたGoogle検索の新しいカタチ、「Google Now」。 それまでのシンプルな検索ボックススタイルから一新し、天気予報などの情報をカード形式に表示することで利便性を高めています。 ですが、実際に「Google Now」の機能を使いこなしている方ってどのくらいいるでしょうか。 単なる検索ボックスとしてしか利用していない、もしくは存在自体忘れている人も多いのでは？ それじゃもったいない！せっかくあるGoogle Nowの便利機能を、今回はご紹介します。 Google Nowを有効にしたら、魔法のステッキみたいなアイコンがあるはずなのでタップしてください。 すると「GOOGLE NOWのカスタマイズ」というページが開くので、「その他」をタップします。 過去に何かしらの設定等を行っていた場合表示内容が異なる可能性もありますが、項目自体は同じものがある
『Spotus (位置,メモ,リマインダー)』～登録した場所に来ると通知してくれる、記憶呼び起こしアプリ～
リマインドアプリといえば、日時を入力して指定した時間が近付くと、ポップアップなどで通知してくれるのが一般的だと思います。 今回ご紹介する『Spotus (位置,メモ,リマインダー)』は、それらとは一線を画します。なんと事前に登録した場所へ近付くと、関連した情報を通知してくれるのです。 本アプリは位置情報を利用するので、普段はGPSを切っているという人も、ご利用時は必ずGPS機能をONにしてくださいね！ ※本アプリは、Android2.2以上の対応です。 その場で気づいた情報を即登録！ ToDoやリマインド内容を記入する際、画面中央にある青いアイコンをタップします。さらに下にある虫眼鏡アイコンは「Googleマップ」の検索に連動しているので、目的地を探し出してからToDo内容の入力も行えます。 便利なのは、街を歩いて気になるお店を発見した時。位置情報に連動しているので、そのままメモ画面を起動
タスク 予定 Toodledo - Google 検索
2023/08/09 · タスクごとに「フォルダ」を分けられるうえ、分類方法をカスタムできるので、優先順位をつけたり、「進行中」「次に実施予定」などのステータスも設定し ...
タスク 予定 分離 Toodledo - Google 検索
2017/01/29 · 「去年からの定期タスクやスケジュールが変わり、今年新しく始まった予定やルーティンの取り組みを整備・メンテナンスしながら、より良い1年にしたい。」 ...
GitHubのIssue一覧をiframeで埋め込めるウィジェットを作った
github-issue-widget GitHubの特定のリポジトリのIssue一覧をiframeで埋め込めるものを作りました。 以下のようにiframeのsrcにパラメータを指定して埋め込む事が出来ます。 <iframe src="https://azu.github.io/github-issue-widget/?owner=efcl&repo=efcl.github.io&limit=3&random" allowtransparency="true" frameborder="0" scrolling="0" width="100%"></iframe> 結果は以下のような表示です。 使い方 使い方は単純で、以下のようにiframeで https://azu.github.io/github-issue-widget/ にパラーメータをつけて埋め込むだけです。 <iframe s
VC++開発環境を整える事を考えてみる（2014.11.12 更新） | Planetleaf.com Lab.
Planetleaf.com Lab. プログラム組んでたり、コンテナガーデニングしたり、絵を描いたり音楽を作ったり、多発性硬化症と闘っていたりを徒然と綴っています。 2014.11.12 ResEditのリンクを作者のサイトから窓の杜のページへ変更しました。 作者の用意したインストーラーにはアドウェアが含まれるようになったようです。 配布も7z形式が削除され、インストーラー形式だけに絞られたようです。善意のカンパに頼った開発には限界があると言うことを察してあげるべきかと思います。 何か作ってみようなどと漠然と考えてみても、準備すら整っていない状態で情報を集めていても時間が経って風化してしまうなんて事もしばしば。 実際にコードを触って弄ってという作業に持っていけるという事は興味を持てるという面で考えても重要かと思われます。やってみようと考える人はまずはこういう物に触ってみるべきでしょう。
オフィスでできる！目が疲れたときの簡単ツボ押し法とは？ | エンジョイ！マガジン
パソコンやスマホの見過ぎで毎日目が疲れてしょぼしょぼする・・・そんな人にオススメな、オフィスでできる簡単マッサージを専門家の方に聞いてきました！ 仕事やプライベートで欠かせないパソコンやスマホ。でも、毎日長時間使っていると、どうしても目が疲れてしまいますよね。そんなときに自分で目の周りをマッサージできたら、疲れを和らげることができるのに！ そこで今回は、専門家に目の疲れを改善するマッサージを教えてもらうため、編集部が取材に行ってきました！ 「疲れ目」にならないように気を付けることは？ 教えてくださるのは目白鍼灸院の柳本真弓院長。「デスクワークの方を中心に目の疲れを訴えて訪れる患者さまは増えていますね」と話します。 疲れ目にならないために、どのようなことに気をつけるとよいのでしょうか。柳本院長が普段患者さんに行っているアドバイスを4つ教えていただきました。 １．目を使い過ぎない ときには目を
今からでも遅くない！「数学をやりなおす」オトナの理由 | エンジョイ！マガジン
数学から離れて久しい我々大人に、再起のチャンスはあるのだろうか？ 数学を学ぶメリットと再学習のヒントを聞いてみた。 友人や同僚に「数学が得意だ」と言われると、何とも言えぬ畏敬の念が込み上げてこないだろうか？ 苦手とする人が多いだけにインパクトは大。外見とのギャップで「意外性」が追加された場合は、さらにポイントが高くなる傾向がある。 当然その裏には「できるようになりたい」という願望が存在している。 では、数学から離れて久しい我々大人に、再起のチャンスはあるのだろうか？ 大人のための数学塾を運営する永野裕之先生に、数学を学ぶメリットと、再学習のヒントを聞いた。 「〝大人の方々〟が私の数学塾に通う理由はさまざまです。化学系ベンチャーの営業職、マーケティング分析、大学の再受験、そして、子どもに教えるためという方もいます」 インターネットが普及し、顧客データなどを数値で把握できるようになった今、確か
ねとなび - 話題の記事とニュースを紹介
ねとなびは今ネットで話題になっている最新記事と最新ニュースを全部まとめてチェックすることができる便利なサイトです。
けするぼーぐの雑記帳 DTM
オーディオ・インターフェイスの UA-25 は、アナログ入力が１つしかないので、違う楽器を録音するときには繋ぎ変えていたのですが、さすがに面倒くさくなってきたので、ミキサを買おうかなと。 とりあえず、シンセが繫がれば良いので、適当なラインミキサーで構いません。 で、BEHRINGER の EURORACK PRO RX1602 にしました。 １６ｃｈラインミキサーと言ってるのは間違ってませんが、８ｃｈステレオ・ラインミキサーと言った方が当たっているような。 入力がバランスなのは良いのですが、出力がアンバランスっていうのが、ちと残念です。（´･ω･`） まぁ、コストパフォーマンスは、高いと思いますが。 で、お約束の内部拝見！(^^ゞ トロイダルのトランスを使っているじゃないですか。 良さそうに見えてしまいますが、実際のところどうなんでしょうかね？ インレット・ソケットと電源スイッチの端子のと
サービス終了のお知らせ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
面白いことやってみよー！ フレッツ光のリモートデスクトップアクセスとか
最近、ブログの更新が滞っていますが、実は先月から長期出張に出ています。 いつも使ってるデスクトップPCが無いので、プログラミングや作曲ができません。 携帯のJIGブラウザーでもブログを見たり、テキストベースの記事を書くくらいはできますが、JAVAスクリプトが動かないことが多く、ちょっと凝った作りのブログは見れないし、拍手もできません。あと携帯が古すぎて動画も再生できないんです。 家に帰った時はできるだけブログを更新しようと思いますが、次にいつ帰れるか分からないんですよね……。 一応、前回帰った時に、家のPCを外からリモートデスクトップでアクセスできるように設定しました。フレッツ光のモデムの設定や、Wakeup on LANの設定が結構やっかいでしたが、出張先の滞在場所（ホテル）からいつも使っているデスクトップPCを使えるようになりました。 設定方法については、備忘録として追記の方に書いてお
「OpenStackは難しくない」を製品にするとこうなる
OpenStackを難しく考えればきりがない。結局のところこれはITインフラをツールとして使えるようにするための技術。アプライアンス的な製品で、サクッと仕事に生かそう！ OpenStackの利用を検討する企業が増えている。だが、さまざまな不安から、導入に至らないケースも多い。たしかに、OpenStackを全体として考えると、利用するソフトウェアコンポーネントの選択、動作検証、インストール作業、運用管理、拡張、バージョンアップと、すべてが複雑なのではないかという印象になりがちだ。 東京エレクトロンデバイスが国内展開している、米Piston Cloud Computingによる「Piston OpenStack」の製品としての目的と価値は、まさにここにある。OpenStackの利用にまつわる各種の面倒を解決し、導入する組織が利用に徹することができるようにすることだ。 Piston Cloudは
特集：セルフサービスBIをめぐるAtoZ - ＠IT
「セルフサービスBI（セルフBI）」とも呼ばれる動き、そしてこれに関連する製品・サービスが急速に広がりつつある。一言でいえば、ビジネスを直接生み出す、あるいは直接支える人々が、データを自ら活用し、より迅速で的確な判断をすることを目指す活動だ。本特集では、セルフサービスBIで具体的に何ができるのか、どうやればいいのか、社内の役割分担はどうすればいいのか、セルフサービスBIツールをどう補うのが効果的なのか、といった、従来のBIとは異なるセルフサービスBIならではの課題と解決策をお伝えする。
Evernoteに新ノートを作成する簡単なPHP作成のお仕事(サイト構築・ウェブ開発)【クラウドワークス】
Evernoteに新しいノートを作成する簡単なPHP開発を担当してくださるエンジニアの方を募集します。 【機能要件】 ・入力：タイトルと本文（URLクエリストリング） ・出力：ノート作成に成功したらタイトル、失敗したら出力なし（できればthrow new Exception） 【UI】 URLによる直接入力のため、特に必要ありません。 【セキュリティ要件】 特になし ※アクセス制限をかけて実行するので、特に必要ありません。 【パフォーマンス要件】 特になし 【ドキュメント】 特に提供しない予定です。 上記機能要件＋Q&Aで対応をお願いします。 【その他注意事項】 PHPのバージョン: 5.5 ソースコードおよび保存ファイル・ファイル名のエンコード: UTF-8 （※妥当な理由があれば例外可） ※ご希望の場合は、継続して他のお仕事をご依頼させて頂ける可能性があります。 ご応募、お待ちしており
ブログ記事を作るのにEvernoteは、最高のツール！？
みなさんEvernoteは使ってますか？ 恥ずかしながら最近Evernoteを知った@livett_1です。 Evernoteとは ウェブサイトを通じて登録し、アカウントを設定すれば、誰でも無料で利用できるようになり（有料のプレミアム版もあり）、同社が提供するサーバ上にテキスト・画像・PDFなどのデジタルデータを保存することができる。各自が設定した「ノートブック」と称するサブジェクトごとにデータを保存、記録したものは全て自動的にインデックスが作られ検索可能となる。任意のタグを付けたり、別のノートブックに整理することもできる。 利用者は用意された個人用ウェブページもしくは各プラットフォーム向けに用意された専用クライアント・アプリケーション、あるいは携帯情報端末などのデバイス経由で保存したドキュメントにアクセスし、保存したデータの閲覧・編集が可能である。また、共有の設定を行うことで、他者と保存
【超便利】EvernoteとFacebook＆Twitterを連携させて情報を保存・管理する方法 | 株式会社LIG(リグ)｜DX支援・システム開発・Web制作
こんにちは、しぶです。さて、みなさんに質問です。 普段の情報収集のために、どのようなツールを使っていますか？ 僕はFacebookとTwitterが多い気がします。Feedlyもよく利用しますね。 これまでは、後で読むときにもFacebookで「いいね！」したり、Twitterで「お気に入り」したりというのをよくやりました。ただ、これって後からフィードを追うのが結構手間だったり、そもそも読まなかったりもしちゃいます。 そんなこんなで、もしかしてEvernoteでまとめられないかなーなんてと思って調べてみたら、便利そうだった3つのツールの紹介と使い方を紹介していきます。 1. ツイエバ（Twitterのお気に入りを転送） 2. FBログ（Facebookのシェアを転送） 3. IFTTT（全部） EvernoteとFacebookやTwitterを連携させて情報を保存・管理する方法 1. ツ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
okadanohitorigoto.com | Web Server's Default Page
あなたにピッタリの情報をちょうどいいタイミングでお知らせする Google Now - Google で、できること
http://www.google.co.jp/dekiru/android/tips/android_search_tip31.html
Postach.io - Google 検索
大人の算数・数学再学習-小中高12年-
教授と生徒との戦いが熱すぎるwwww | わろすワロス。
ハッシュタグ #大人の算数・数学再学習
大人 再学習 - Google 検索
大人 再学習 高卒 - Google 検索
くたさら:DTM (43) ボリュームコントロール専用PC
Blogger
いろいろな環境からRemoteDesktopを利用しよう！
Nexus7×遠隔操作でエロゲを遠隔プレイする方法（ざっくり紹介版）
Planetleaf.com Lab. | プログラム組んでたり、コンテナガーデニングしたり、絵を描いたり音楽を作ったり、多発性硬化症と闘っていたりを徒然と綴っています。
Pocket - My list
普通の開発者のためのリーンスタートアップ手順書
Google Task - Google 検索
Evernote ホームページ 構築 - Google 検索
Google map リマインダー - Google 検索
ThunderbirdからEvernoteへ登録｜デジタルツール便利術｜ブログ｜医院HP制作専門のメディカ