タグ

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

タグの絞り込みを解除

プログラミングに関するwed7931のブックマーク (81)

  • 『微分可能プログラミング』はどこから来たのか - bonotakeの日記


    はじめに︵8/3追記︶ この記事を一旦書いたあと、重要な追加証言が得られたため、追記修正しています。結論もやや変わっていますが、現時点のほうがより正確です。 本編‥ここから ディープラーニングが現在これだけ流行っている1つの要因は、TensorFlowやPyTorchなどのフレームワークが非常に便利だからです。ニューラルネットワークの設計、訓練、そして分類などの推論がフレームワークを使えばとても簡単に行なえます。 普通に使っている人達は、これらのフレームワークを﹃ツール﹄あるいは﹃ライブラリ﹄だとみなしていると思います。でも実際のところ、これらはプログラミング言語です。より正確に言えば、すべてのディープラーニングフレームワークはディープラーニング計算用DSL︵Domain-Specific Language、ドメイン特化言語︶と見なせます。このDSLは大抵、Pythonなど他の汎用言語への
    『微分可能プログラミング』はどこから来たのか - bonotakeの日記
    wed7931
    wed7931 2019/08/04
    「プログラミングが自動で微分できる」という言葉が斬新すぎてうろたえている。
    リンク

  • 頼むからまともなプログラマ目指すなら数学ちゃんと勉強してくれ｜古都こと｜note


    題名で完結してるけど、まあ頑張って書いとく。 この記事の短いまとめ‥﹁技術的なこと教えるときに数学の部分から教えるのしんどいから自主的にある程度勉強してくれると助かる﹂ 数学、わりと出てくる﹁数学って何の役に立つんですかァ〜〜〜？﹂は中学生の心強い武器であり、私もブンブン振り回してた。高校で現社が嫌で理系に逃げたから結局のところ付き合う羽目になったが。 まあ中学生・高校生ぐらいなら仕方ない。数学なんて何の役に立つのかさっぱり見えないし、先生はろくに教えてくれないし、そんなことより﹁冷蔵庫の中身は何をどれぐらい入ってる状態で保つべきなのか﹂とか教えてくれた方が絶対に人生が豊かになるよな。 さて話は変わってプログラマについて。プログラマとかいうのは意外なことにわりと専門性のある職業で、普通の人生では1ミリも役に立たないような知識を求められたりする。Linuxの意味不明なコマンドの数々の使い方と
    頼むからまともなプログラマ目指すなら数学ちゃんと勉強してくれ｜古都こと｜note
    wed7931
    wed7931 2018/12/23
     ︽そういうところで詰まってると、ちゃんとプログラミングの思考に脳みそのリソース割けなくなってつらいんじゃないかなーと思う。人間は二つのこと同時に処理できるほど賢くない︾。プログラミングと数学に限らず。  

    ●数学
    ●プログラミング
    ●勉強
      
    リンク

  • 型システム 〜プログラムの安全性を支える数学〜 - Laborify


    京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です．大学では，プログラミング言語理論，その中でも特に型システムの研究をしています． この記事では，私が特に力を入れて研究している漸進的型付けという種類の型システムについて紹介します．プログラムや型システムといった基本的な概念から解説していくので，プログラミング経験のない人も安心して読み始めてもらえたらと思います． はじめに プログラムとはコンピュータへの命令を記述したものです．2018年現在，私たちの生活は数多くのプログラムに支えられています． あなたがこの記事を Windows が入ったパソコンで見ているなら，まずその Windows がプログラムです．お家にテレビや冷蔵庫があれば，それらの中にもプログラムが内蔵されているでしょう．空いた時間にスマートフォンでゲームをするなら，遊んでいるゲームも全てプログラムです．
    型システム 〜プログラムの安全性を支える数学〜 - Laborify
    wed7931
    wed7931 2018/12/14
    《漸進的型付けとは，ひとつのプログラムの中で静的型付けと動的型付けをスムーズに組み合わせるための手法です．》なるほど。記事内のバグの説明もわかりやすかった。
    リンク

  • Windowsのパス区切り文字は、なぜ逆スラッシュになったのか？


    MS-DOS 2.0のソースコードが公開された9月末にMS-DOS 2.0のソースコード︵https://github.com/Microsoft/MS-DOS/tree/master/v2.0︶が公開された。ここでは、ソースコードを見ながら、Windowsのパス区切り文字が、なぜ﹁\﹂︵英語表示では逆スラッシュ︶になったのかを考えてみる。 ただ、MS-DOSは8086のアセンブラで記述されているため、コードを説明するのではなく、必要な定義部分などを使って解説することにする。 まずは簡単にMS-DOSという名称について説明しておく。IBMがIBM PC用のOSとしてマイクロソフトに開発を依頼したため、IBM PC用のものはPC-DOSという名称であり、MS-DOSはIBM以外のメーカー用に使われた。この時点では、PC-DOSとMS-DOSはほぼ同一のものとしてよい。ここでは、すべてMS-
    Windowsのパス区切り文字は、なぜ逆スラッシュになったのか？
    wed7931
    wed7931 2018/10/29
    なるほど。MS-DOSの大文字・小文字の区別をしない理由も知りたくなった。
    リンク

  • 行列すら教えない高校数学に日本の技術軽視の一端を見た | 日経 xTECH（クロステック）


    私には高校生の息子がいる。ある日、数学の模擬試験でかなり低い点数を取ってきた。聞いてみると、数学という教科に対してあまり興味が持てないのだという。彼が希望している進路や職業には数学が必要なので、困った問題だ。 振り返ってみれば、私はこれまで息子の勉強をほとんど見てこなかった。﹁私にも責任の一端はあるな﹂と反省した。 試しに一緒に数学の問題を少し解いてみたところ、息子は因数分解など中学レベルの数学の計算は難なくこなせる。挽回は十分に可能なようだった。そこで、高校の数学は自分が直接教えようと腹をくくった。 まず、何らかの形で数学に興味を持ってもらう必要がある。そこで、都内の大型書店の理工系書籍のフロアに連れて行った。数学の面白さを取り上げた書籍としては結城浩氏の﹁数学ガール﹂シリーズが有名だ。ただ、数学を正面から取り上げたそうした書籍はあまりピンと来ないようだった。 代わりに興味を持ったのが、
    行列すら教えない高校数学に日本の技術軽視の一端を見た | 日経 xTECH（クロステック）
    wed7931
    wed7931 2018/10/11
     この言葉がグッときた。︽行列は三角関数や微積分と並んで、高校数学で初めて習う新鮮な概念だった︾。四則演算＋αだけでなく、数学の多様性を知って、必要なときに学べる心構えをさせるのも大事だと思う。

    ●教育
    ●数学
    ●社会
    ●科学
    ●プログラミング
    ●IT
    ●数学ガール
    ●教養
      
    リンク

  • 9月末で60歳定年退職しました - 未来のいつか/hyoshiokの日記


    当社の規定により満60歳で定年退職をした。長いようで短かった会社員生活も一区切りだ。自分のプログラマとしての会社員生活を振り返ってみる。無駄に長いし結論はないのでお忙しい人は飛ばして欲しい。9月末なのでブログ界隈では退職エントリーがそこかしこに書かれると思うが、その中で自分の退職エントリーを連ねることにどれほどの意味があろうか。もちろんないのだが、それでも多くの書き手の年齢を考えると満60歳定年退職というところに若干の希少価値を見出せなくもない。 1984年に大学院修了して以来、プログラマとしてのキャリアを重ねてきた。大学時代の同期でプログラマとして就職したものは皆無だ。当時、工学部の同期はメーカーに就職するのがほとんどで、大手家電メーカー、自動車メーカー、電力会社などなど、当時の誰でも名前を知っている人気企業に就職するものが大半だった。 その中で、日本ディジタルイクイップメント︵DEC
    9月末で60歳定年退職しました - 未来のいつか/hyoshiokの日記

  • 職業プログラマが圏論をスルーすべき理由


    情報系の大学の学部を出た人々が増えたせいか、HaskellやScalaなどの関数型プログラミング言語が流行ってきて、最近はクライスリ圏、モナド、モナドと呟く人々をネット上でよく見かけるようになった。圏論プログラミングなるモノが流行っていると勘違いしだす人もいるようだ。しかし、これらの言語に触れた人は少なくないと思うが、圏論について学んだ職業プログラマーは少ないと思う。これから学ぶべきなのか気になっている人もいると思うが、実際問題使い道が無いので、スルーした方が無難だ。 圏論は数学の中でも広く教えているとは言えない部類のもので、20世紀も中盤以降に研究が進んできたものだ。圏論の土台部分はシンプルなもので、目的に応じて概念を追加して応用されており、例えばHaskellのモナドはクライスリ圏の中の概念であるクライスリトリプルに対応している。だからクライスリ圏に習熟していれば、数学的にモナドによる
    職業プログラマが圏論をスルーすべき理由

  • 奴隷制を連想させるとして、Pythonで「master」「slave」といった単語が削除される | スラド デベロッパー


    Pythonのバグトラッカーに、﹁Avoid master/slave terminology﹂という要望が寄せられている。これは﹁多様性のため﹂に奴隷制度を連想させる﹁master﹂﹁slave﹂という単語を削除するほうが好ましいという提案だ︵Slashdot、Motherboard、Register︶。 そもそも﹁master﹂という単語は非常に多くの場所で使われており、たとえばバージョン管理システムGitでは﹁masterブランチ﹂という概念がある。そのため、これを変更するのは容易なことではない。また、master/slaveという単語は電子回路やソフトウェアアーキテクチャにおいて奴隷制とはまったく関係ない文脈で使われている。そして、﹁slave﹂を置き換えられる単語で適切かつ広く普及している単語はいまのところ存在しない。こういった理由から反対の声も出ていたが、最終的には﹁salve
    wed7931
    wed7931 2018/09/15
     ︽最終的には﹁salve﹂という単語は﹁worker﹂や﹁helper﹂に、﹁master process﹂という言葉は﹁parent process﹂に置き換えられることになったという。︾ マスター／スレーブはよく使う。奴隷制を意識したことはないけど。

    ●ニュース
    ●プログラミング
    ●システム
    ●英語
      
    リンク

  • ＡＩ世代「リアルな痛み必要」　東大受験ロボの新井教授　　：日本経済新聞


    人工知能︵AI︶やロボットなどテクノロジーの進化が、人類のあり方を揺るがしている。政治や産業に取り入れられるテクノロジーと人間は協調できるのか。2011年から人工知能プロジェクト﹁ロボットは東大に入れるか﹂を率いた国立情報学研究所の新井紀子教授に聞いた。――政治にAIを活用しようとする動きがあります。﹁AIだから公平な直接民主主義や多数決ができる、というのは幻想だ。米スタンフォード大学で精力
    ＡＩ世代「リアルな痛み必要」　東大受験ロボの新井教授　　：日本経済新聞
    wed7931
    wed7931 2018/08/17
    AI世代「リアルな痛み必要」　東大受験ロボの新井教授
    リンク

  • 技術基礎研修「クックパッドを支える仕組み」 / Introduction to the Internet - Speaker Deck

    2018年の総合職・デザイナー向け技術基礎研修で使った資料。 関連エントリ： http://techlife.cookpad.com/entry/2018/05/09/080000

    技術基礎研修「クックパッドを支える仕組み」 / Introduction to the Internet - Speaker Deck

  • 川上量生カドカワ社長「数学を諦めることは人生を諦めることと同じ」


    ﹃週刊ダイヤモンド﹄特別レポート ダイヤモンド編集部による取材レポートと編集部厳選の特別寄稿を掲載。﹃週刊ダイヤモンド﹄と連動した様々なテーマで、経済・世相の﹁いま﹂を掘り下げていきます。 バックナンバー一覧 未来を先取りしたい企業たちが今、数学の世界にどっと押し寄せている。ポケットマネーで数学のイベントを開き、社内で数学の勉強会を開催。さらに家庭教師を雇って学ぶほど数学にのめり込んでいるカドカワの川上量生社長に﹃週刊ダイヤモンド﹄6月30日号の第1特集﹁必修　使える！数学﹂に合わせて、なぜ数学を学ぶのか、直撃して聞いた。︵﹃週刊ダイヤモンド﹄編集部　大矢博之、ライター・奥田由意︶ ──数学の勉強を今も続けている理由は何でしょうか。 単純に面白いから、というとそれまでですが、﹁この世とは何か﹂という、世界の秘密を知りたいという欲求からです。 例えば、﹁時間・空間とは何か﹂という問いに、僕は
    川上量生カドカワ社長「数学を諦めることは人生を諦めることと同じ」
    wed7931
    wed7931 2018/06/26
     ︽小学校の算数はこれを学ぶためのサンプルで、たんなる伏線だったんだなと感動します。︾ すごくわかる。数学をやっていると、高校までの数学にいろんな伏線があると思える。それがバチッ！とわかったときの快感。  

    ●数学
    ●教育
    ●科学
    ●プログラミング
    ●社会
    ●学び
    ●算数
    ●勉強会
      
    リンク

  • 「コーディングは設計か製造か」という考え方の違い - 思考と現場の間で


    以前の職場では、完全なウォータフォールをやっていたとは言い切れないのですが、基本的に設計→製造→テスト→リリースという1回の流れでやっていたため、どちらかと言うとウォータフォールだったと思っています。その職場では、コーディングを﹁製造﹂と読んでいました。当然、設計というのは﹁設計書を作る﹂ことによって行われることであり、その設計書に基づいてコードというアウトプットを行うわけですので、コーディングは﹁製造﹂と考えるのは当然だと思います。 アジャイル開発を始めて感じた違いは多くありましたが、その一つはコーディングの考え方の違いです。以下はXPのプラクティスです︵Wikipediaより︶。 テスト駆動開発 ペアプログラミング リファクタリング ソースコードの共同所有 継続的インテグレーション YAGNI これらの共通的な基本的な考え方は、﹁変えることを前提としている﹂という点です。私は製造業で働
    「コーディングは設計か製造か」という考え方の違い - 思考と現場の間で
    wed7931
    wed7931 2018/06/05
    《こう考えると、ウォータフォールは製造業の考え方に似ていると感じます。》 同意です。
    リンク

  • 「本当に」日本一マクドナルドから遠い場所｜ヌーさん | NOT A HOTEL


    こんにちは、本業の稼働が 100% フロントエンドになっちゃっていてそろそろデータをいじりたいヌノカワです。 先日、qiitaで日本一マクドナルドから遠い場所という記事を見つけて読んでみたんですが、探索する過程が意外とアナログなところも含めて面白かったです。 ただ、800 を超えるいいねをもらってるのを見て、謎のジェラシーと対抗心が生まれ、地理空間演算で﹁本当に﹂日本一マクドナルドから遠い場所を突き止めてみようというのが主旨です。qiitaの当記事では、マクドナルドの地点からバッファー (地点を中心とした円) を生成して徐々に半径を広げ、かすかに残っている陸地を (目視で！) 絞って行くというハートウォーミングな内容です。そこをもう少し論理的に探索してみましょう。 私が考えたアプローチはこんな感じでございます。 1. マクドナルドの地点を母点としたボロノイ図を生成する 2. ボロノイ
    「本当に」日本一マクドナルドから遠い場所｜ヌーさん | NOT A HOTEL
    wed7931
    wed7931 2018/05/12
    こういうことがさくさくっとできるといいなぁ。
    リンク

  • 日本一マクドナルドから遠い場所 - Qiita


    きっかけ 日本マクドナルド様のサイトの店舗検索の地図をみてたら、やたらたくさんの店舗が一度に表示できる。 これって全店舗一度に読み込んでるのかな、とChromeのデベロッパーツールで覗いてみると、全店舗分のJSONが見えた。 全店舗2887件。 ちょっと拝借して長年の疑問を晴らしてみようと思った。﹃はたして、日本で一番マクドナルドから遠い場所はどこなのか？﹄ 注) 離島は除きます。離島を含めると南鳥島がぶっちぎりです。 Fusion Tablesでプロットしてみる Fusion Tablesに緯度経度をインポートすることでマップに位置をプロットできるのでやってみた。 Fusion Tablesの導入その他に関しては他に説明を譲ります。 とりあえずデベロッパーツールからJSONを丸ごとコピペして編集の末にCSVファイルをでっちあげた。 Fusion Tablesで扱えるように、先頭行にはカラ
    日本一マクドナルドから遠い場所 - Qiita

  • 結城浩の数学ノート

    （終了）レビューア募集『数学ガールの秘密ノート』第16冊目（〆切は2022年10月10日） 2022-09-30 告知 数学ガールの秘密ノート

    結城浩の数学ノート
    wed7931
    wed7931 2018/05/09
    自分もこんなふうに数学ネタをちょこちょこアウトプットしてみたいなぁ。(希望)
    リンク

  • 「東ロボ」を主導した数学者が「読解力がない子どもにプログラミングを教えても、意味がない」と主張する理由


    ﹁東ロボ﹂を主導した数学者が﹁読解力がない子どもにプログラミングを教えても、意味がない﹂と主張する理由‥特集‥小学生の﹁プログラミング教育﹂その前に︵8︶ 2020年度から小学生のプログラミング教育が始まる。官庁や教育機関、企業を巻き込んだ教材開発やデモ授業などが進む中、国立情報学研究所の新井紀子教授は、AIや全国の子どもを対象にした研究活動の成果から﹁プログラミング教育以前に、学校は子どもの﹃読解力﹄を伸ばすべき﹂と主張する。その理由とは。 こんな状況を想像してほしい。あなたは小学生の子どもを持つ親で、AIの導入やモノのデジタル化が進む将来を見据えている。そのため、自分の子どもには、 最新の環境で、優秀な講師によるプログラミングの授業を受けさせるつもりだ。20年後、あなたの子どもは、プログラミングを深く使いこなし、自分のアイデアをコンピュータで形にできる大人に育つだろうか？ 2000年代
    「東ロボ」を主導した数学者が「読解力がない子どもにプログラミングを教えても、意味がない」と主張する理由
    wed7931
    wed7931 2018/04/26
    新井紀子さんの《『方眼紙に全てのマス目を通ってつながった線を書きなさい』という仕様に沿って紙に線を書き、隣の子と見せ合って正しいか確認するといった内容でも十分プログラミング的思考の授業になる》に同意。
    リンク

  • くいなちゃん

    2023年12月23日: 「くいなちゃんフュージョン」リマスター！ 2023年10月26日: 「くいなちゃん小テスト」復活！

    wed7931
    wed7931 2018/04/18
    こういうのがあるんだ。メモ。
    リンク

  • 組合せゲーム理論への招待

    wed7931
    wed7931 2018/04/16
    「Grundy数という数がわかれば、先手・後手必勝がわかる」という定理、うまく言えないけどすごい。
    リンク

  • 性同一性障害の私に居場所を与えてくれたWeb業界


    ﹁異能﹂ともいえる際立った能力や実績を持ち、まわりから一目置かれるエンジニアを1カ月に一人ずつ取り上げ、インタビューを掲載する。今月取り上げるのは﹁Yugui﹂というハンドルネームで知られる園田裕貴︵そのだゆうき︶氏。書籍﹁初めてのRuby﹂の執筆者であり、過去にはRuby 1.9系のリリースマネジャーを務めた。スケールアウト︵現Supership︶の初期中心メンバーの一人でもある。今回は、プログラミングとの出会いからWeb業界で働くようになったきっかけを聞いた。 プログラミングを始めたきっかけは、小学校低学年のころ、自宅にPC-8800シリーズ︵PC-88︶というパソコンがあったことです。父親はIT関係の仕事ではありませんでしたが、趣味で多少プログラミングをしていました。デスクトップミュージック︵DTM︶のようなことをしたり、自作のプログラムで事務処理をしたりしていたようです。 私も家で
    性同一性障害の私に居場所を与えてくれたWeb業界
    wed7931
    wed7931 2018/04/04
    《生徒会規約の追加や修正の際にメンテナンス性が悪いと感じていたので、継承で何とかできないかと思った》。実行はしなかったけど、同じことを考えたことがある。
    リンク

  • 高校生が「PCを学校に持ち込みたくて」Windows10搭載の電子辞書を自作してしまう


    高校生になれば自分のPCを持っている人も少なくありませんが、校則によっては学校まで持っていくことができないこともあります。そんな校則に悩んだ高校生が、﹁電子辞書なら高校に持ち込みOK﹂という点に目を付け、Windows10搭載の電子辞書を自作したとして話題になっています。 Windows10搭載電子辞書の製作者である0530HLLさんは、ニコニコ動画に電子辞書を作ってみたまとめムービーを投稿しています。 Windows10搭載電子辞書つくってみたPart1 オープニングムービーからすでにハイクオリティ。 まるで製品のプロモーションムービーのようです。 ムービーの冒頭で﹁つたない編集﹂と述べていますが、全くそんなことはありません。 0530HLLさんが製作したのは、﹁Windows10が動く電子辞書﹂です。 ﹁高校の校則を守りながらにしてPCを持ち込むため﹂という理由で電子辞書を自作するとい
    高校生が「PCを学校に持ち込みたくて」Windows10搭載の電子辞書を自作してしまう
    wed7931
    wed7931 2018/03/28
    「理不尽と思える校則という制約下において技術力が発揮された好例」とポジティブな捉え方をしよう。
    リンク
  • 1 2 3 4 5 次のページ

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2024 Hatena. All Rights Reserved.