[B! 勉強] [6ページ] zyzyのブックマーク

scienceのsciは「知」

!ブログをbiglobeからここへ移行しました(2022年11月)。旧URLから自動的に転送されています。(2024年1月まで)！ scienceの"sci"には「知る」「識」というような意味があります。 science；　知っていること→科学 conscience；　con　(すっかり)　すっかり知っている→良心・判断力 conscious；　con （すっかり）→意識のある unconscious；　un (ない)→意識不明の prescience；　pre (前に)→予見、知識この"sci"、もとを辿れば、「チョキチョキのsc」と同じ語源に行き着きます。木版や石版に文字や記号を刻む意味のscribeやscore 引っかく意味のscratch 切り刻むscatterやscrap scissors（はさみ）やscar（傷跡）など、仲間はたくさんあります。関連記事 share と

zyzy 2014/05/23

中二病で「エリティス・シクト・デウス・スキエンティス・ボヌム・エト・マルム」憶えたけど、そのスキエンティスやな。

リンク

英語ブギウギ散策

前置詞がわからない、と、かなり英語に習熟された生徒が漏らしていました。この﹁わからない﹂という言葉のなかに﹁煩雑すぎる﹂というトーンが感じらられ、その困惑ぶりが思い浮ばれました。英語学習をやったことのある人であればすぐに思いつくイメージです。つまり、前置詞の語義を辞書で引いても﹁これだ！﹂と思えるところまでゆくのに大変な時間と努力が必要になる場面です。inという前置詞を辞書(ジーニアス)で調べてみると、大まかな語義だけで16種類もの定義があるのです。それを書き並べると﹁場所﹂﹁環境・状態・状況・条件﹂﹁所属・従事・活動﹂﹁着用・包装﹂﹁能力の範囲﹂﹁分野・限定﹂﹁割合・部類﹂﹁時﹂﹁手段・材料﹂﹁方法・様態﹂﹁手段﹂﹁形状・配置・順序﹂﹁数量・単位﹂﹁同格関係﹂﹁状態・原因・理由﹂﹁行為の対象﹂という16種類です。このなかには﹁状態﹂や﹁手段﹂が再び使われており、どのような違いなのかが

zyzy 2014/05/23

とかく前置詞は、イメージの幅が広すぎて掴むのが難しい。

リンク

ANAの不正ログイン事件について徳丸さんに聞いてみた

高橋: こんにちは、高橋です。先月に引き続き徳丸さんをお招きして、今度はANAの不正ログイン事件についてお話を伺います。徳丸さん、よろしくお願いします。徳丸: 徳丸です。よろしくお願いします。高橋: まず、事件の概要を説明します。﹁ANAマイレージクラブ﹂のWebサイトに不正ログインがあり、顧客9人のマイレージ、総計112万マイルがiTunesギフトコードに勝手に交換されていたとするものです。当初顧客の通報で発覚した点はJALの場合と同じですね︵参考︶。徳丸: で、私はなにをしゃべればいいのですかね。お招きいただいたので出てきましたが、パスワードがJALは数字6桁、ANAは4桁ですが、それ以外はあまり変わらないのですよね。高橋: JAL、ANAと事件が続きましたが、攻撃手口は見えてきていないのでしょうか?徳丸: 公式発表も報道もあまり情報がないので確定的なことは言えないのですが、

zyzy 2014/05/15

高橋メソッド流行ってるような……。

リンク

文字コード地獄秘話第1話：Unicodeにおける全角・半角 - ALBERT Engineering Blog

ごあいさつ皆様はじめまして、文字コードおじさんです。細々とカメラ屋を営んでおりましたが、エンジニアとしての技量を評価され、ALBERTのシステム開発・コンサルティング部で働くことを許されました。特技はサーバーの統廃合です。今回は最初ということですが、Unicodeにおける全角・半角の取り扱いについて触れてみようと思います。なお、さも連載するかのように第1話と銘打っていますが、上層部の無慈悲な裁決によっては1話打ち切りもありえますので、その際はご容赦ください。固定観念を捨てよう﹁全角50文字、半角100文字まで﹂といったような文言を見かけたことがあると思います。特にUnicode以前のレガシーな処理系では全角文字に2バイト、それ以外は1バイトという割り当てが慣習となっていました。このため、﹁全角=2バイト文字、半角=1バイト文字﹂という観念が世間に定着しているのが現状です。しか

zyzy 2014/04/25

地獄や……板子(ディスプレイ)一枚下は地獄や……海を渡ろうとする者は皆、地獄の上に立っているんや

リンク

型レベルプログラミング in Scala(Type-Level Programming in Scala) — Japanese translation of Apocalisp v1.0 documentation

型レベルプログラミングinScala(Type-Level ProgramminginScala)¶ この連載はScalaにおける型レベルプログラミングの紹介です。解説は、コードと例とすこしばかりの説明で成り立ちます。また、読者はScalaの一般的な型システムについての知識があることを前提にしています。これは著者の傲慢ではないので(もちろん読者のでもなく)、質問は歓迎します。連載は10のパートから成ります。有るパートは他の記事の内容を含んで構成されることもあります。過去の記事はこの目次にリンクされますので、簡易なリファレンスとしてこのページをブックマークするとよいでしょう。

zyzy 2014/02/07

読みたい事がまとまってる!!　と思ったら、翻訳途中までなのか……。途中まででもありがたいけど、先は自分で翻訳して読むしかないか。

scala
勉強

リンク

玉ちゃんのライティング話 | Shuffle by COMMERCIAL PHOTO

照明機材のオーソリティ﹁玉ちゃん﹂こと玉内公一氏と、担当編集者との掛け合いでお届けする、ライティングの基礎と実践。月刊﹁コマーシャル・フォト﹂でも連載中なので、早く続きを読みたい人はバックナンバーをどうぞ！玉ちゃんのライティング話最終回　照明機材発明の歴史は表現の歴史玉‥玉内　編‥編集部玉　今回でこの連載も終了ということで。編　そうなんです。残念なのですが。そこで、これまでの総論として、ライティン 2012.09.06 | 玉内公一

zyzy 2014/02/05

今更だけどこちらも合わせてブクマ。写真のみならず、3DCGやる人間には必須項目だよなぁ。

リンク

ほんとうはこわいIdris 〜 tacticメタプログラミング - Qiita

はじめに Idris分からん! 誰か教えてくれーこわくないIdris Idrisについて全く知らないって人は、僕が以前書いた記事を読んでください。こわくない Idris で M59のブログを検索 tacticとはカリー゠ハワード同型対応があるからプログラムを書くことがそのまま証明を書くことになるのだが、それとは別に定理証明器のとるべき戦略=tacticを記述することによっても証明を書くことができる。 Coqのtacticと比べるとIdrisのそれはとても貧弱に見える。前試したときは、自分でプログラム書いて証明した方がまだ楽なんじゃないかと思った。 Language.Reflectionモジュールを使うと、tacticを生成する関数を定義できる。例えば、Data.Vectモジュールに定義されているfindElemがある。 Elem その前に、Elemというデータ型について書いておこう

zyzy 2013/12/31

Idrisを触って「型周りの書き方が整理されたHaskell」くらいにしか理解できていないので、この辺いずれちゃんと理解したいんだけど、Idrisをしっかり追いかけるのが正しいのか、まずCoqをやるべきなのか……。

リンク

Scala vs Idris: Dependent Types, Now and in the Future

InfoQ Software Architects' Newsletter A monthly overview of things you need to know as an architect or aspiring architect. View an example

zyzy 2013/12/07

scalaでも依存型は作れるよーってこと？　仕組みを理解仕切れていないけれど……⇒2.10から普通に機能として入ってたんですね。で、こう使うと。知らなかった。 ●scala ●勉強

リンク

再帰理論の初歩シリーズ「再帰定理」 - とりマセ

あ、超おひさしぶりです。　最近めっきり筆不精になってしまったので、リハビリ代わりに、再帰理論の初歩的な定理を紹介するシリーズでも始めようかなあ。　でも、シリーズとか言っておきながら、一回で終わったりするかも。せめて二回くらいはやれるように頑張ります。たぶん。　再帰理論と再帰定理　数学基礎論の一分野である再帰理論は、20世紀前半頃から研究され始めたそこそこ新しい分野です。といっても、数学基礎論自体が19世紀末から20世紀初頭に生まれた新しい分野なので、再帰理論は数学基礎論の分野としては結構古い部類だったりはします。　　というわけで再帰理論の初歩シリーズ第一回は、再帰理論の再帰の名を冠する定理﹁再帰定理﹂の紹介。　この定理は、もしかしたら、プログラマさんとかの間では常識なのかも。　﹁再帰定理﹂とは、大雑把に言うと、　﹁プログラムに自己言及を含ませることができるよ〜﹂　﹁自己増殖をするプログラム

zyzy 2013/11/27

わかる様になりたいのでいずれちゃんと勉強しよう。

リンク

【数の構成】合同式で遊ぼう～掛けてもいいなら割ってもいい？ | 大人が学び直す数学

ここまで合同式のモジュラー演算について、足し算・引き算・掛け算については、あたかも等式であるかのように扱えることをみてきました。では﹁割り算﹂も同じようにやっていいでしょうか？ふつう一般の等式の場合は、掛け算と割り算は逆の演算で互いに逆戻りすることが保証されていました。ところが合同式では割り算はそのまま自由に行ってはいけません。なぜ合同式は割り算をしてはいけないかその理由は、もともと合同式というものが、﹁包含除﹂の割り算をベースに、整数の倍数に余りというしっぽがついた数のセットを扱うものだからです。足し算、掛け算のように、﹁増える﹂タイプの計算のときには、このセット一式が形を保ったまま、増殖したり、しっぽが延びたりします。引き算の場合は﹁減らす﹂操作ですが、減り方が両辺でスライドして同じなので、合同関係も維持されるということでした。ところが、ここで言う合同式に対する割り算というのは、

zyzy 2013/10/28

この基本理解してなかったせいで、オイラーの定理の証明が理解できなかったんだよ。今更勉強しなおし。

勉強

リンク

デバドラ講座 - サイエンスパーク株式会社

弊社のデバイスドライバ開発事業は、WindowsやMac、組み込み向けなど様々なOSで20年以上デバイスドライバを作り続けています。デバイスドライバやその制御用アプリやデバイスへの組込ソフトウェアなど、デバイスに関わるソフトウェア開発に対して豊富な実績があります。デバイスドライバをはじめ、デバイスにかかわるお困りごとの際はお気軽にお問い合わせください。サイエンスパークでは、デバイスドライバの記事や書籍の執筆、勉強会・セミナーの開催など、デバイスドライバ開発者を増やすための取り組みをしています。弊社の新入社員研修ではデバイスドライバ開発の研修を行いますが、その一環で新入社員の手による「初心者がデバイスドライバ開発ができるための資料」を作成しました。その資料をもとに「誰でもわかるデバイスドライバ講座」と題し、その内容を公開いたします。一人でも多くの方がデバイスドライバに興味を持ち、デバ

zyzy 2013/10/17

windowsの方の分かりやすい解説は意外と見かけないので。

リンク

Functorを例として、圏論とHaskellの関係を分かりやすく説明してみるテスト - めもめも

[参考文献] Haskell/圏論カテゴリーとは？﹁カテゴリー﹂は、﹁集合と写像﹂の概念をより抽象化︵簡単化︶したものです。おもむろに、図1のように、いくつかの●と、●の間の矢印が集まった図式を考えてみます。図1カテゴリーのイメージそれぞれの●は、﹁a,b,c・・・﹂で表して、矢印は、﹁f,g,h,i,j,k・・・﹂で表します。1組みの●のペアに対して、複数の矢印があっても構いません。また、矢印fがaとbをつなぐ事を次のように表現します。 f :: a ->b﹁集合と写像﹂の勉強をした方なら、それぞれの●は何らかの集合で、矢印は集合間の写像と思うと分かりやすいでしょう。この時、 f :: a -> b g :: b ->cのように、ある●︵ここでは﹁b﹂︶を介して2つの矢印がつながる場合、これを1つにつなげた矢印、 h = g.f :: a ->cが必ず存在するもの

zyzy 2013/10/01

ブクマばっかせず、いい加減理解しようや自分と思いつつブクマ。

リンク

IIJ Research Laboratory

ネットワークの計測と解析インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行うために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ 技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

zyzy 2013/09/10

そろそろ勉強せな……

リンク

http://homepage3.nifty.com/miyak/english.html

zyzy 2013/07/16

基本的なことがよくまとまっていて助かる。

リンク

コンテンツ作りの三原則

「のどが渇いた」というユーザーに何を出す？ユーザーの「欲しい」に惑わされない、本当のインサイトを見つけるUXデザイン・UXリサーチ

zyzy 2013/06/19

小説じゃないんだから、販売テキストに転は要らんわな、確かに。どんでん返しされても困るし……。

リンク

put on, take off が反意語たりうる理由 @ ArtSaltのサイドストーリー

ふと思った。put on ︵着る、履く︶の反意語が put off ではなく take off になるのはなぜだろう。﹁離陸﹂は take off なのに、﹁着陸﹂が take on ではないのはなぜだろう。 put はその実像がつかみにくい基本動詞。How should I put it?手元の研究社の新英和中辞典によると、put はかつて push の意味で使われていたらしい。いちおう言っとくと push は古仏語由来の外来語。put の語源は古英語 putung だろうとする説が多いけど、判然としない。﹁put が put として文献に現れたのは12世紀になってからだ﹂と言う "ETYMOLOGY: PUT word trail - Jaques Site" から引用。 Put is a word which hides its ancestry quite well. Itap

zyzy 2013/06/17

putとtakeの違いについて。他のサイトの説明を見ても、イマイチ納得いかなかったが、この説明はかなり腑に落ちた。

リンク

Haskellの神話 - あどけない話

Haskell の優雅さを示すためによく使われるコードは、優雅さと分かりやすさだけに特化しており、現実的には遅いことが多い。書き手は他に効率のよい実装があることを知っているのだけれど、読み手はそうではないから、後で効率が悪いと気づいて愕然とするみたいだ。この記事では、神話になっている例を3つ取り上げ、効率のよい実装と合わせて紹介する。その3つの例とは、以下の通り。フィボナッチ数素数生成ソートフィボナッチ数遅延評価を活かした優雅なフィボナッチ数の実装は、以下の通り。 fib n = fibs !! n fibs = 0 : 1 : zipWith (+) fibs (tail fibs) Haskellの﹁fib = 1:1:zipWith (+) fib (tail fib)﹂はとても遅いにも書かれているように、この実装は遅い。その理由は、(+) の計算が遅延し、その待機

zyzy 2013/05/30

haskellのエラトステネスおっせー、ってなったのでぐぐったら、そりゃそうだとなった記念。なんでこんな簡単なことに気づかなかった……

リンク

Git に関する良記事 - あどけない話

適宜追加します。 Pro Git 僕が読んだGit の書籍の中では、一番分かりやすいと思いました。日本語版の書籍はありませんが、オンライン版が翻訳されています。 Pro Git 図解GitGit の初心者が動作を理解するのにおススメ。図解Git こわくないgit ブランチとマージの考え方がよく分かるスライド(@methaneさんから教えて頂きました)。こわくないgit あなたの知らないGit Tips 書籍には載ってない Tips の解説。知らないと損するかも。あなたの知らないGit Tips ワークフロー、あるいはブランチングチームでブランチを使う際の取り決め。自分のチームで一から議論するより、すでにあるものを参考にしましょう。 git-flow github-flow Github Enterprise Github Enterprise は、企業内に設置して使うこ

zyzy 2013/05/02

インスコしたは良いけれど、よくわかっていないので。

Git
勉強

リンク

ScalazとHaskellの比較記事というか疑問点をいっぱい書いたら、shelarcyさんにいっぱい教えてもらったよ！

Kenji Yoshida @xuwei_k 一度公開したあともどんどん書き足したら、結構な量になったでござる(´・ω・｀) http://t.co/X7ewxjzJ っていうかHaskellとあまり比較してないし関係なくなってきている・・・ 2012-02-05 04:50:38 Kenji Yoshida @xuwei_k コメントがっ「述語を量化できる論理体系では、同一性という概念をプリミティブに持たなくても「XとYが等しいとは、全ての述語Pに対してP(X)ならばP(Y)、が成り立つこと」という形で定義できる」 http://t.co/vKvJT0My 難しいがちょっとだけ理解が深まったような 2012-02-05 13:42:00

zyzy 2013/04/24

今後分かるようになりたいので、ブクマ。

リンク

やさしいFunctional reactive programming（概要編） - maoeのブログ

あと、やはりネットワーク周りなどI/Oの多いプログラムの書きにくさが課題になっている印象。関数的なI/OはFRPで解決できそうな気がするんだけど調べてない。そろそろFRPをちゃんと理解したいなー。 Parsec 3活用事例: Keepalived構文チェッカ - maoeのブログなんて書いてから早1ヶ月半、ようやくFRPが掴めてきたのでわかったことをまとめてみます。 Reactive programmingって何？ FRPの前に、一般的にwikipedia:en:Reactive programmingと呼ばれるパラダイムについて触れておきます。reactive programmingとは疑似言語を使ってかなーり大雑把に説明すると、 var a = 1 var b = a + 1 a = 10 // aを書き換える print b // => 11print bの出力は2ではなく11です

zyzy 2013/04/15

関数型言語らしくGUIを書ける手段が一般的になれば、Haskellはもっと面白いことになりそうだとは思う。しかしなかなかスタンダードというか標準がぴたっと定まってはいないのかな？

リンク

はてなブックマーク

タグ

関連タグで絞り込む (82)

勉強に関するzyzyのブックマーク (157)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第3週）

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス