ダイアリーはこっち→日曜プログラマがダラダラ書く

おとなりアンテナ | おすすめページ

  1. 2021/09/18 19:50:33 Z3の写真館(ブログ版)含むアンテナおとなりページ

    1 法律・裁判
    2 不動産
    3 ライブ・バンド
    4 英語
    5 受験・勉強
    6 コスプレ
    7 教育・学校
    8 経営・ビジネス
    9 ブログ
    10 部活・サークル

  2. 2021/09/18 16:44:21 本物のプログラマはHaskellを使う:ITpro含むアンテナおとなりページ

    3社の事例からクラウド移行の秘訣を探る
    “不衛生”な55%の企業端末を適切に管理
    突然「Zoomが止まる」トラブル、記者が半年かけて探し出した恥ずかしすぎる原因
    4
    あなたが知らないiPhone
    iPhoneのパスコードを忘れた! 慌てずに済む3つの方法
    5
    記者の眼
    見た目はキーボードで実はPC、「ラズパイ400」日本版を動かして考えたこと

  3. 2021/09/18 14:08:08 Diary - Miyo’s Page含むアンテナおとなりページ

    DevCloudふたたび
    ssh devcloud
    source /data/intel_fpga/devcloudLoginToolSetup.sh
    devcloud_login -I S10PAC # devcloud_loginでメニューから選べる
    source /data/intel_fpga/devcloudLoginToolSetup.sh
    tools_setup -t S10DS #

  4. 2021/09/18 07:49:20 FPGAの部屋 含むアンテナおとなりページ

    ”Xilinx Kria KV260- SmartCam Demo with Petalinux 2021.1 BSP”をやってみる3 (09/18)
    2021年09月 (20)
    KRIA KV260 Vision AI Starter Kit (12)

  5. 2021/09/18 03:48:59 TODO: 後で書く。含むアンテナおとなりページ

    第三回ありえる社内勉強会 「いわががのLombok」 by yoshiaki iwanaga 15382 views

  6. 2021/09/18 02:54:06 Radium Software含むアンテナおとなりページ

    Unity (VFX Graph) -> autotrace -> axicli -> AxiDraw MiniKit 2 https://github.com/keijiro/AxiDrawSketches
    September 18

  7. 2021/09/17 18:27:12 マンガで分かる心療内科・精神科・カウンセリング | = ゆうメンタルクリニック 上野駅0分 東京・心療内科・カウンセリング・精神科含むアンテナおとなりページ

    マンガで分かることわざ・故事成語 上下巻・うつネコとハムスターが同時発売!
    2021/09/17(金)更新
    横浜心療内科マンガ
    【マン

  8. 2021/09/17 16:14:07 NATROMの日記含むアンテナおとなりページ

    試験管内の研究で有望なら、その次には動物実験が行われます。しかし、マウスなどの実験動物と人間ではやっぱり条件が異なります。人間が飲んで効果があるかどうかを検証するには、実際に人を対象とした研究、つまり臨床試験を行わなければなりません。試験管内の研究や動物実験では有望と思われた候補薬が、臨床試験では効果や安全性が確認されないことはよくあります。よくあるというか、臨床試験で実用化されるのはほんの一部だ

  9. 2021/09/17 00:04:14 ときどきの雑記帖 i戦士篇含むアンテナおとなりページ

    Eye of the Tiger
    今週のしずえさん 「へそ餅」 東スポ 今月末辺りで1部の値段が10円値上げされるらしい。 まあしかたのないことなのだろうなあと思いつつも、 そろそろ買
    今週のしずえさん 中文(中国語)で「酒店」とは? 上手 床 机 メモ キャストに関わるGCCの謎挙動 - 豪鬼メモ oberon+ Code Examples | The Oberon+ Programming L

  10. 2021/09/15 16:34:29 (programmer? yaotti)含むアンテナおとなりページ

    ¥ 922
    ¥ 23

  11. 2021/09/14 02:13:39 環境ホルモン濫訴事件:中西応援団含むアンテナおとなりページ

    コンテンツに飛ぶ | ナビゲーションに飛ぶ
    サイトマップ
    アクセシビリティ
    お問い合わせ
    サイトを検索
    現在のセクション内のみ
    詳細検索
    Navigation
    パーソナルツール
    ログイン
    現在位置:
    contents
    民事訴訟について
    【New】令和2年(ワ)第2509号(埼玉)
    【New】令和2年(ワ)第194号(山形)
    平成26年(ワ)第29256号(板橋ホタル)
    環境ホルモン濫訴事件の記録

  12. 2021/09/13 06:27:30 ただのにっき含むアンテナおとなりページ

    2021-09-09(木) [長年日記]
    ■ Google Pixel 5aに乗り換え
    ついこないだストレージを節約するためにあれこれ削除していたXperia XZ1 Compactだが、平らなテーブルに置いていてもなぜかくるくる回転するようになってしまい(なぜかじゃねーよ、背中が膨らんでるんだよ)、泣く泣く買い替えをすることになってしまった。3年半も使ったんだから十分すぎる一生であった。南無。

  13. 2021/09/11 12:47:33 檜山正幸のキマイラ飼育記含むアンテナおとなりページ

    2021-09-11
    このブログの画像がちゃんと表示されるようになりました
    連絡的
    今までこのブログは、本文はhttpsアクセス/画像はhttpアクセスという混合コンテンツ〈mixed content〉でした。そのため、だいぶ前からChromeブラウザでは画像が表示されない状態になっていました。僕自身はFirefoxで閲覧することが多いので「まー、いいか」…
    このブログの画像がちゃんと表示されるよ

  14. 2021/09/09 21:54:51 J含むアンテナおとなりページ


    Kindle Cloud Readerは、なんか読んでると勝手にログアウトされるし、なんかページのロードに失敗すると、2日後ぐらいまでそのページ読めなくなったりするんだよね。
    でもレコメンデーションは圧倒的にAmazonがよくて、dmmのレコメンデーションは単に距離が近いだけの本が並んでいて、これであんま何かが見つかることがないのだけど、Amazonのおすすめはリンク辿っていくとなんか読みたく

  15. 2021/09/08 08:52:03 Onion開発停滞日記含むアンテナおとなりページ

    大学の時に苦手/得意だった講義
    心因性発熱という病気

  16. 2021/09/07 03:20:29 Scalaで書けるWebフレームワークを作ってみる含むアンテナおとなりページ

    JavaScript (1)
    Lambda (1)
    お仕事環境 (4)
    anyenv (1)
    VCS (1)

  17. 2021/09/04 00:12:01 結城浩の日記含むアンテナおとなりページ

    2021年9月3日
    結城浩ニュースレター
    2021年9月3日 00:00
    結城浩ニュースレター(2021年09月03日)
    https://www.hyuki.com/

  18. 2021/08/31 21:09:57 この門をくぐる者は一切の高望みを捨てよ含むアンテナおとなりページ

    『熱帯』は登美彦氏自身もそうと認めざるを得ない問題作であり、賛否両論あったのも当然のことだろう。しかし成功するアテがあろうがなかろうが、小説家には敢えて問題作に挑まねばならぬときがある。こればかりはどうしようもない。しかしあまりにも『熱帯』が怪作になってしまったため、登美彦氏は今作を書き終えたあともその世界から脱出できず、いわばリハビリとして『四畳半タイムマシン・ブルース』を書いたようなところもあ

  19. 2021/08/30 08:39:56 Practical Scheme含むアンテナおとなりページ

    2021/8/28
    Paul Graham氏のエッセイ「Weird Language」を 翻訳しました。
    ヘンな言語 ---Weird Language 2021/08/28
    プログラミングについての考え方を広げるには、ヘンな言語を学ぶことだ。

  20. 2021/08/30 01:39:50 猫的怠惰Days含むアンテナおとなりページ

    怖い話
    人形をクラスメイトとして扱うことを求められた話
    ※人名はすべて仮名です。 成人式の日、久しぶりに地元の友人たちに会った。中学から私立に進み、地元とは少し距離ができていたわたしは、最初は同窓会への参加すら迷っていた。けれど会ってしまえば次々と記憶が蘇り、素直に再会を喜べた。 少し参加者の減った深夜2時…
    ゆらゆらタユタ - 2021-08-30 00:39:05
    買ったもの
    骨伝導ヘッドセッ

  21. 2021/08/28 13:34:51 高木浩光@自宅の日記含むアンテナおとなりページ

    すなわち、検閲の禁止に罰則規定がないことの謎について、検閲には通信の秘密侵害が必然的に伴うから罰則は通信の秘密侵害罪(179条)が適用されるということのはず、とか、通信の秘密侵害罪の保護法益が、個人のプライバシー保護という個人的法益のみならず、コモンキャリアとしての通信路の信頼確保のための社会的法益もあるはず、とする主張について、2008年の逐条解説書(多賀谷編)、1987年の逐条解説書(電気通信

  22. 2021/08/26 14:38:26 Lightweight Language関連情報 - PukiWiki含むアンテナおとなりページ

    【ネタ募集】
    レガシーアプリケーションとの向き合い方について、参加者の皆さんから体験談・悩み・ノウハウを募集します。以下は一例です。
    言語やライブラリなどのバージョンを上げられなくて困っている
    古いバージョンの言語やライブラリからこうやって脱却した
    下記のボード(miro)に付箋を貼ってご記入ください。
    https://bit.ly/ll2021-legacy
    セッションでは、ご記入いただいたもの

  23. 2021/08/25 16:11:50 Gaucheクックブック含むアンテナおとなりページ

    GCP
    SQLを使った監視でデータ基盤の品質を向上させる
    こんにちは、データ基盤グループの吉田(id:syou6162)です。データ基盤グループでは安定してデータを利用できるように様々な取り組みを行なっています。本エントリでは、データ品質に問題がある場合にすぐに気付けるようにしたSQLによる監視の仕組みを紹介します。 背景…
    MonotaRO Tech Blog - 2021-08-24 10:0

  24. 2021/08/16 23:54:32 ぱた☆へね含むアンテナおとなりページ

    onnx/base.py at 7e879add157ff4be99428cc4f482c1c20cfb0478 揃 onnx/onnx
    Open standard for machine learning interoperability - onnx/base.py at 7e879add157ff4be99428cc4f482c1c20cfb0478 揃 onnx/onnx
    github.c

  25. 2021/08/16 23:14:00 kei-os2007 against the machine!!含むアンテナおとなりページ

    このブログについて

  26. 2021/08/16 23:01:52 TOBIT(はてな版試行中)含むアンテナおとなりページ

    このブログについて

  27. 2021/08/16 22:45:27 haskell - haskellのある暮らし含むアンテナおとなりページ

    このブログについて

  28. 2021/08/16 22:28:18 hogeなlog含むアンテナおとなりページ

    このブログについて

  29. 2021/08/16 22:25:43 haskell - HaHaHa!含むアンテナおとなりページ

    このブログについて

  30. 2021/08/16 22:22:04 本当に30日でOSが出来上がるのかを試してみるBlog含むアンテナおとなりページ

    このブログについて

  31. 2021/08/16 22:18:44 haskell - 結城浩のHaskell日記含むアンテナおとなりページ

    このブログについて

  32. 2021/08/16 21:51:07 趣味的にっき含むアンテナおとなりページ

    このブログについて

  33. 2021/08/16 21:35:35 www.textfile.org含むアンテナおとなりページ

    このブログについて

  34. 2021/08/16 21:23:55 題材不新鮮 SF作家 飛浩隆のweb録含むアンテナおとなりページ

    このブログについて

  35. 2021/08/16 21:07:58 SHA_log...写真って面白いかも含むアンテナおとなりページ

    このブログについて

  36. 2021/08/16 19:46:55 射撃しつつ前転含むアンテナおとなりページ

    このブログについて

  37. 2021/08/16 19:40:49 sumiiの日記含むアンテナおとなりページ

    このブログについて

  38. 2021/08/16 19:26:18 自転車で遠くへ行きたい。含むアンテナおとなりページ

    このブログについて

  39. 2021/08/16 19:19:40 はてなアンテナ日記含むアンテナおとなりページ

    このブログについて

  40. 2021/08/16 19:04:23 lethevert is a programmer含むアンテナおとなりページ

    このブログについて

  41. 2021/08/16 18:56:43 Rubyでプログラミング入門含むアンテナおとなりページ

    このブログについて

  42. 2021/08/16 18:17:33 オプティミストは懊悩する。含むアンテナおとなりページ

    このブログについて

  43. 2021/08/16 18:12:47 Radium Software含むアンテナおとなりページ

    このブログについて

  44. 2021/08/16 18:07:21 sshi.Continual含むアンテナおとなりページ

    このブログについて

  45. 2021/08/16 17:56:39 あどけない話含むアンテナおとなりページ

    このブログについて

  46. 2021/08/16 17:45:47 HaHaHa!含むアンテナおとなりページ

    このブログについて

  47. 2021/08/16 17:40:41 rubyco(るびこ)の日記含むアンテナおとなりページ

    このブログについて

  48. 2021/08/16 17:35:38 おびなたん☆含むアンテナおとなりページ

    このブログについて

  49. 2021/08/16 17:26:25 sicp - 結城浩のSICP日記含むアンテナおとなりページ

    このブログについて

  50. 2021/08/16 17:12:31 ryugateの日記含むアンテナおとなりページ

    このブログについて

  51. 2021/08/16 16:41:36 はてなフォトライフ日記含むアンテナおとなりページ

    このブログについて

  52. 2021/08/16 16:27:45 Y.FUJITA::NOTEPAD::YPSILON含むアンテナおとなりページ

    このブログについて

  53. 2021/08/16 16:14:24 yukobaの日記含むアンテナおとなりページ

    このブログについて

  54. 2021/08/06 11:01:24 ひげぽん OSとか作っちゃうかMona-含むアンテナおとなりページ

    Subscribe
    読後の感想など
    数字
    355 ページ 12章
    70日
    GoodNotes の手書きノート407ページ
    なぜ読んだか
    冒頭にも書いたが Kaggle Indoor コンペでチームメイトの Saito さんのやっていることが分からなかったのが直接の動機。それ以外にも Discussions で線形代数の基礎が分かっていれば深い理解が得られそうな場面もあった。なので機械学習をからめて

  55. 2021/08/05 02:10:04 野尻blog含むアンテナおとなりページ

    ニコニコ生放送
    3月11日(月) 20:00
    視聴する
    ニコニコ運営生放送
    午後2時頃、ようやく会場の五色ケ浜海水浴場に着いた。先にヒゲキタさんが来ていて、テントとブ

  56. 2021/07/30 17:47:25 はてなダイアリー - hirau含むアンテナおとなりページ

    データサイエンティスト
    戦力になるレベルのデータサイエンティストを育成することの難しさ
    (Image by Pexels from Pixabay)僕自身がデータサイエンティストという肩書きを与えられて働くようになった9年前から、一貫して問題意識を持ち続けてきたのが「データサイエンティストをどう育成すべきか」についてでした。その後、この9年の間に質の良し悪しや量の多…
    渋谷駅前で働くデータサイエン

  57. 2021/07/27 19:42:42 やねうらお−よっちゃんイカを買いに行ったついでに家を買う男含むアンテナおとなりページ

    この広告は、90日以上更新していないブログに表示しています。

  58. 2021/07/13 16:23:15 Amrita2強化月間含むアンテナおとなりページ

    読者になる
    という機能の分離はきれいにできていると思います。WHATの部分(amrita_define_form)はヘルパーメソッドにすることも

  59. 2021/07/13 09:46:37 地下生活者の手遊び含むアンテナおとなりページ

    読者になる
    また、コンビニには高校生バイトが入っている。高校生にエロ本の管理をやらせるのはだいぶ問題だし、高校生バイトにエロ本を触らせなくても「エロ本の置いてある高校生の職場」ってのはどうなんでしょう? さらに言えば、セーフティス

  60. 2021/07/13 09:05:40 ゆろよろ日記含むアンテナおとなりページ

    読者になる
    proxy.info("transportHTT

  61. 2021/07/13 08:43:44 純粋関数型雑記帳含むアンテナおとなりページ

    読者になる

  62. 2021/07/12 21:03:39 結城浩のはてな日記含むアンテナおとなりページ

    読者になる

  63. 2021/07/12 19:42:54 naoyaのはてなダイアリー含むアンテナおとなりページ

    読者になる
    随分長い間、私はそのこと

  64. 2021/07/08 21:15:17 Yahoo!ブログ - 結城浩のYahoo!日記含むアンテナおとなりページ

    © Yahoo Japan

  65. 2021/07/08 13:08:45 オブジェクト指向スクリプト言語 Ruby含むアンテナおとなりページ

    Ruby 3.0.2 がリリースされました。

  66. 2021/06/12 22:51:33 汎夢殿含むアンテナおとなりページ

    灰色の靴下に穴が開いたので捨てた。
    この靴下は病院で買ったのだ。
    ストレッチャーで運ばれていくとき、必ず戻ってくるがその時にこれがないと困ると思い、救急車に靴を持ち込んだ。
    嘘のようだった。点滴から薬が入っていくたび、破滅的な痛みが消えていく。「薄紙を剥ぐように」という慣用句はこういうことであったかと思った(「薄紙を剥ぐよう」にしては、あまりに急激な回復であったが……。猫がいたずらで薄紙をべりべり

  67. 2021/06/09 23:35:58 Gentoo Linux Users Group Japan含むアンテナおとなりページ

    Future home of...gentoo.gr.jp
    You found your name, now it’s time to build your website! Log into your Account Manager to setup DNS, add some hosting, or get up and running in no time with our Easy Web

  68. 2021/06/05 23:34:42 PRoxy Diary含むアンテナおとなりページ

    Apache/2.4.38 (Debian) Server at mono.kmc.gr.jp Port 80

  69. 2021/06/03 18:12:37 平成19年(ワ)第1493号 損害賠償等請求事件含むアンテナおとなりページ

    Forbidden
    You don’t have permission to access /h19wa1493/index.html on this server.

  70. 2021/06/02 05:31:45 naoyaグループ - naoyaの日記含むアンテナおとなりページ

    « お問い合わせ対応システム移行にともなう… はてなプライバシーポリシーの改定について »
    はてなの各サービスの告知日記です。
    読者です 読者をやめる 読者になる 読者になる
    最新記事
    携帯電話の回線を変更される方へのご案内
    はてなプライバシーポリシーの改定について
    はてなプライバシーポリシーの改定について
    はてなIDのOpenIDサポート終了のお知らせ
    はてなプライバシー

  71. 2021/05/10 08:44:01 www.textfile.org含むアンテナおとなりページ

    404 Not Found

  72. 2021/05/04 10:57:05 Scheme-users.jp - 日本の Scheme ユーザのためのハブサイト含むアンテナおとなりページ

    You don’t have permission to access /on this server.
    Server unable to read htaccess file, denying access to be safe

  73. 2021/04/26 00:58:24 ぷろどおむ えあらいん 含むアンテナおとなりページ

    スポンサーサイト
    投稿日:-------- --
    上記の広告は1ヶ月以上更新のないブログに表示されています。
    新しい記事を書く事で広告が消せます。
    スポンサー広告 | --:--:--
    FC2Ad

  74. 2021/04/21 20:52:12 methaneの日記含むアンテナおとなりページ

    `from __future__ import annotations` がPython 3.10でデフォルトにならなくなりました
    go-sql-driver/mysql のバッファサイズが4KiBなのは小さすぎる??

  75. 2021/03/10 11:25:28 jkondoの日記含むアンテナおとなりページ

    2021-03-10
    生きている実感を増やすために その2
    「家」って、生活の中でかなり長い時間を過ごしています。寝ている時間が7時間だとして、その前後、僕だったら19時くらいには家に帰ってきて、ごはんを食べて、23時くらいに寝ると4時間くらい。朝は7時くらいに起きて、9時くらいに出勤するとして2時間くらい。
    そうすると、平日で合計13時間。これが休日だともう少し長くなるし、最近はコロナで在宅も増

  76. 2021/02/23 17:51:49 Kahua含むアンテナおとなりページ

    404
    File not found
    The site configured at this address does not contain the requested file.
    If this is your site, make sure that the filename case matches the URL.
    For root URLs (like http://example.c

  77. 2021/02/23 16:45:28 最近一週間ほどのえび日記@水無月ばけらのえび日記含むアンテナおとなりページ

    水無月ばけらのえび日記
    日記
    よもやま話
    用語集
    リファレンス
    ゲーム
    掲示板
    bakera.jp > 水無月ばけらのえび日記
    最近一週間ほどのえび日記
    2019年8月11日(日曜日)
    字幕職人の朝は早い……
    公開: 2019年7月11日21時0分頃
    2019年7月20日、JACことJapan Accessibility Conference - digital information vo

  78. 2021/02/20 21:28:40 Island Life含むアンテナおとなりページ

    Gauche 0.9.10

  79. 2021/02/02 07:59:43 月の塵含むアンテナおとなりページ

    FAQ / お問い合わせ窓口

  80. 2021/01/28 04:10:57 東京自転車生活含むアンテナおとなりページ

    jinx.jp
    このドメインの購入
    ドメイン jinx.jp は売り出し中です!
    This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to

  81. 2021/01/15 02:20:46 アンカテ(Uncategorizable Blog)含むアンテナおとなりページ

    2021-01-14
    トランプのアカウント停止と「どうしますボス」攻撃
    村上龍の「愛と幻想のファシズム」は1980年代にディープフェイクを予言していて、しかもそれは、革命を起こす側の「俺たちはフェイクを使うけど、本当にフェイクで世の中を支配しているのはお前らだろ」という怒りを現実化したアイディアとして描かれていて、凄いなあと思うけど、そのフィクションの中で、フェイクビデオを使って革命を起こそうとし

  82. 2021/01/12 17:21:29 TechTalk.jp - 日本の技術系プレゼンテーション参加者のためのハブサイト含むアンテナおとなりページ

    video About Contact

  83. 2021/01/08 10:38:04 歴史研究所含むアンテナおとなりページ

    ドメインが無効な状態です。
    「 www.uraken.net 」のページは、ドメインが無効な状態です。
    ウェブサイト管理者の方はこちらから変更・更新を行ってください。
    「 www.uraken.net 」is Expired or Suspended. The WHOIS is here.

  84. 2020/12/04 19:27:01 人力検索サイトはてなの日記含むアンテナおとなりページ

    はてなサービス全体のセキュリティ向上のため、TLS1.0, 1.1 での通信を順次廃止していきます

  85. 2020/10/23 08:34:32 Noisy Spot - RecentChanges含むアンテナおとなりページ

    15h
    20h
    23h
    Reply on Twitter 1319077894207852545Retweet on Twitter 1319077894207852545136Like on Twitter 1319077894207852545245Twitter 1319077894207852545
    Reply on Twitter 1318680897953034241Retweet o

  86. 2020/09/12 02:11:13 東京自転車生活含むアンテナおとなりページ

    エミナルクリニック京都院の口コミまとめ&アラサー女子の本音7選:2020年9月11日更新
    2020年9月4日〓2020年9月25日が狙い目!
    2020年9月11日更新:エミナルクリニックの京都院でお得に申し込みするなら特設サイトでした!
    2020年9月4日〓2020年9月25日が狙い目!
    2020年9月4日〓2020年9月25日が狙い目!
    エミナルクリニック 京都院:2020年9月11日現在の情報

  87. 2020/09/02 20:20:18 StrangeStone: diary含むアンテナおとなりページ

    ドメインが無効な状態です。
    「 strangestone.xrea.jp 」のページは、ドメインが無効な状態です。
    ウェブサイト管理者の方はこちらから変更・更新を行ってください。
    「 strangestone.xrea.jp 」is Expired or Suspended. The WHOIS is here.

  88. 2020/08/29 21:42:42 Route 477含むアンテナおとなりページ

    トップ追記
    Route 477
    2016-10-20
    ■ [misc] yhara.jpに移転しました
    夏頃からこっちの更新が無かったですが、実はドメインを取って、ブログエンジンの自作をして、そっちで記事を書いていたりしました。まだ見た目が素っ気ないですが機能的には一応、やっていける感じになったので、以降は以下のページの方を更新していきます。
    http://yhara.jp
    このブログのRSSもそ

  89. 2020/08/27 12:01:02 Matzにっき含むアンテナおとなりページ

    意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
    それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
    追記
    サイコムから返事来た。送料着払いでボード

  90. 2020/08/23 14:07:26 So-net blog:Rainy Day Codings含むアンテナおとなりページ

    AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
    「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする。
    open i

  91. 2020/04/22 08:51:17 jijixi’s diary含むアンテナおとなりページ

    This site requires JavaScript and Cookies to be enabled. Please change your browser settings or upgrade your browser.

  92. 2020/04/20 17:39:52 幻影随想含むアンテナおとなりページ

    ニセ科学商品バイオラバーについてのまとめ..

  93. 2020/04/16 17:50:20 科学ニュースあらかると含むアンテナおとなりページ

    レジーナクリニック熊本院|2020年最新情報&口コミと評判、料金や店舗へのアクセス(行き方)など
    レジーナクリニック熊本院|2020年最新情報&口コミと評判、料金や店舗へのアクセス(行き方)など
    Ivey
    このページでわかること
    1 レジーナクリニック熊本院の最新情報まとめ!医療脱毛最安で人気の「レジーナクリニック熊本院」
    2 レジーナクリニック熊本院 店舗詳細情報
    2.1 レジーナクリニック熊本

  94. 2020/03/04 07:02:25 RubyKaigi日記含むアンテナおとなりページ

    Generated by tDiary version 5.1.1

  95. 2020/02/25 19:40:12 torus solutions!含むアンテナおとなりページ

    403 Forbidden
    nginx/1.13.9

  96. 2019/12/04 22:36:11 たーぼ のハードウェア設計記録含むアンテナおとなりページ

    〓配置配線指定したい回路を作成し使用するFPGAにインプリする。
    〓FPGAエディタでそのデザインを開く。
    〓ここで、UCF等で配置固定していなければ当然適当に配置されている。
    〓配置指定したいPINおよびSLICEで適当に配置されてしまったSITEと配置指定先のSITEを選択してSWAPボタンを押す。
    〓これでSITEが入れ替わるので、これを繰り返し目的の配置を完了する。
    〓現状適当に配線されて

  97. 2019/11/29 18:13:06 Radium Software Development含むアンテナおとなりページ

    HOME
    iPhoneの一般修理店の疑問を解決
    iPhone修理を任せる時の注意点
    iPhoneの修理店
    iPhoneの一般修理店の疑問を解決
    iPhoneを修理したいとき、正規修理店じゃない街の一般修理店を利用しても大丈夫?
    iPhone修理は、正規修理店ではない街の一般修理店でも対応してくれますが、初めて依頼する時には担当者の腕前は確かかどうか公式サイトやチラシなどを参考に調べておく必要があり

  98. 2019/11/25 09:49:03 val it : α → α = fun含むアンテナおとなりページ

    だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〇Ĺc

  99. 2019/11/18 07:30:33 神は細部に宿り給う含むアンテナおとなりページ

    おすすめ本書評まとめ2019年11月版
    イノマタ化学『テーブルタップボックス ブラック Lサイズ』-アイリスオーヤマ(IRIS OHYAMA)『サーキュレーター PCF-HD15N-W』

  100. 2019/08/26 00:58:22 なつたん含むアンテナおとなりページ

    2019.08.25
    どうでもよいこと
    どうでもよいことをここに書こうと思う。
    «今年の一冊(Multiple View Geometry in Computer Vision)
    Recent Posts
    どうでもよいこと
    今年の抱負
    第三回エクストリームFPGAで発表してきました
    オープンソースカンファレンス 2013 Kansai@Kyoto
    High-Frequency Trad

  101. 2019/03/29 04:35:05 Rubyist Magazine - るびま含むアンテナおとなりページ

    RubyKaigi 2019 直前特集号
    RubyKaigi 2019 直前特集号

  102. 2019/02/16 17:33:25 Lightweight Language Spirit含むアンテナおとなりページ

    [login]
    Lightweight Language Spirit
    情報
    開催のお知らせ
    チケット発売情報
    セッション内容(発表資料)
    チケット追加販売のお知らせ
    取材をご希望の方へ
    チャット
    ブログ
    LL魂ブログ
    2007-08-23 LL公式サイトの回線障害が復旧しました
    2007-08-23 LL魂公式サイトで回線障害が起こっています
    2007-08-09 発表資料を公開しました
    200

  103. 2019/01/01 04:54:51 d.y.d.含むアンテナおとなりページ

    22:47 18/12/31
    競技プログラミング歴20年になった
    1998年に SuperCon ’98に参加したのが始めだったので、今年で20年になったことになります。「コンテスト風景」のリンクを辿ると20年前の私の写真があります。若い…。というわけで、なんとなく記憶をたどりつつメモを残してみようかと思いました。当時は情報オリンピック(IOI)に日本は出ていなかったので(1997〓2004の間休

  104. 2019/01/01 01:42:31 DA含むアンテナおとなりページ

    いちばんあたらしいの2018 12/31 22:30
    _31(Mon)
    なんと今年は1件も日記を書かなかった。
    ので、最後くらい。今年の重大ニュース。
    無事娘2歳に。
    家を買った。
    Ruby 2.6 が無事にリリースした。
    来年は忙しくなりそう。今まで以上にプログラミングしたい。
    そういえば、いい加減日記システムなんとかせなな。
    2018 01 02 03 04 05 06 07 08 09 10

  105. 2018/12/25 20:14:39 NoisySpot/平坦日記 » 含むアンテナおとなりページ

    404 Not Found
    nginx/1.10.3 (Ubuntu)

  106. 2018/07/16 06:39:00 航海日誌含むアンテナおとなりページ

    keisuken, Jul 16, 2018 1:16:32 AM
    月ロードオブヴァーミリオン紅蓮の王00:30-01:00BS11?1,2
    水深夜!天才バカボン00:59-01:28BSJapan?1.2
    木夢王国と眠れる100人の王子様00:30-01:00BS11?1,2
    木天狼 Sirius the Jaeger23:30-00:00BS11?1,2
    土京都寺町三条のホームズ01:14-0

  107. 2018/06/11 08:23:22 数理科学的バグ撲滅方法論のすすめ:ITpro含むアンテナおとなりページ

    作って分かる「クラウドAI」実践講座
    Microsoft Cognitive Servicesを通して、クラウドのAIサービスのバリエーション、それぞれの想定用途、事例などを学びます。さらに簡易なAIシステムを実際に開発することで、ビジネス適用の企画力やシステム構築力を養います。

  108. 2018/05/31 00:30:48 Karetta|GaucheNightブログ含むアンテナおとなりページ

    Forbidden
    You don’t have permission to access /blog/gauche-night on this server.

  109. 2018/03/31 04:02:18 J. Nakanisi Home Page含むアンテナおとなりページ

    404 Not Found: ページが見つかりません
    ▼【重要】ホームページ開設者の方へ▼
    @homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
    詳しくはこちらをご確認ください。
    @nifty top ウェブサイトの利用について | 個人情報保護ポリシー
    特定商取引法に基づく表示
    ©NIFTY Corp

  110. 2018/01/06 19:59:54 Onion開発日記含むアンテナおとなりページ

    Not Found
    The requested URL /~i021216/diary/ was not found on this server.

  111. 2018/01/05 08:12:56 Wataru’s memo含むアンテナおとなりページ

    Powered by Ruby version 1.8.7

  112. 2018/01/01 05:57:51 Mozilla Japan含むアンテナおとなりページ

    Copyright © 2018 Mozilla Japan Community. All rights reserved. | 当サイトの運用には 奈良先端科学技術大学院大学、データホテル (NHN テコラス株式会社) および アクセリア株式会社 の ご協力をいただいております。

  113. 2017/12/28 19:43:48 @IT:System Insider:連載目次含むアンテナおとなりページ

    第211回
    ARM版Windows 10に透けるMicrosoftの事情 --2017/12/25

  114. 2017/12/28 15:37:58 闘わないプログラマ含むアンテナおとなりページ

    闘わないプログラマ
    [Home][近況と更新履歴][闘わないプログラマ][思ツタコト][Links]
    ***お知らせ(その2)***
    いまさらながらblogを始めてみました。
    ***お知らせ***
    このサイトの更新は2007年10月22日に終了いたしました。しばらく休んだ後、何かまた始める予定です。その際には本ページ等でお知らせいたしますのでよろしくお願いいたします。
    新・闘わないプログラマ
    51

  115. 2017/12/03 00:15:50 世界線航跡蔵含むアンテナおとなりページ

    『APIデザインケーススタディ』という本を頂戴したので読んでみた。
    Rubyのactive_recordライブラリもまた多くのフォロワーを持つ。 しかし思い出して欲しいのは、そもそものPofEAAではActive Recordの適用領域は限定的だとされているし、active_recordライブラリはActive Recordパターンより遥かに多くのものを提供しているということだ。 active_r

  116. 2017/11/02 23:17:31 哲学的な何か、あと科学とか含むアンテナおとなりページ

    ゆうきゆう先生
    の人が表紙に!

  117. 2017/03/24 17:26:13 0x100.com含むアンテナおとなりページ

    Forbidden
    You don’t have permission to access /on this server.

  118. 2017/03/01 20:06:08 コーヒーでも飲みながら検証の話でも含むアンテナおとなりページ

    「Awesome Inc.」テーマ. テーマ画像の作成者: sndr さん. Powered by Blogger.

  119. 2016/10/27 01:02:45 Scala-ja - Top page含むアンテナおとなりページ

    404 Not Found
    nginx/1.8.0

  120. 2016/06/30 02:49:40 いわゆる日記含むアンテナおとなりページ

    コンテンツへスキップ
    test
    Just another WordPress site
    Hello world!
    WordPress へようこそ。これは最初の投稿です。編集もしくは削除してブログを始めてください !
    投稿者 suzu投稿日: 2016年6月29日Hello world! への1件のコメント
    検索対象: 検索
    Hello world!
    最近のコメント
    Hello world! に M

  121. 2016/06/18 08:06:55 オープンソースカンファレンス2006 Tokyo/Fall - Come ON!含むアンテナおとなりページ

    メインメニュー
    ホーム セミナー時間割 セミナータイトル一覧 セミナー詳細一覧 展示内容 ミニセミナー@2F ミニセミナー@4F〜8F 懇親会情報
    資料
    アンケート集計結果(PDF)
    セミナー 8F-B1 : Web2.0のためのオープンソース活用(PDF)
    セミナー 3F-A2 : Eclipse・JBoss・PostgreSQL・OpenLDAPを活用したソフト開発〜OSSの運用管理ソフトHi

  122. 2016/05/11 07:47:09 bkブログ含むアンテナおとなりページ

    2004-2011年に書いていたブログのアーカイブです。

  123. 2016/03/29 03:04:05 あおきにっき つっこみつき含むアンテナおとなりページ

    2010-09-09
    ■ メインのMacBook Pro 17"にて
    ~ % ruby --version
    ruby 1.9.3dev (2010-06-12 trunk 28299) [x86_64-darwin10.3.0]
    ~ % ruby-1.8.7 --version
    ruby 1.8.7 (2010-01-10 patchlevel 249) [i686-darwin10.4

  124. 2015/12/03 14:48:55 日本Rubyカンファレンス2006 Wiki - Recent含むアンテナおとなりページ

    2015-12-03 (Thr) 10:03:52: http://www.facebook.com/profile.php?id=100003469663979 by 221.178.182.26 (Diff)

  125. 2015/05/07 02:10:52 事象の地平線::---Event Horizon---含むアンテナおとなりページ

    Forbidden
    You don’t have permission to access /blog/index.php on this server.

  126. 2015/04/26 11:43:39 Lightweight Language Television含むアンテナおとなりページ

    Forbidden
    You don’t have permission to access /2009/on this server.

  127. 2015/01/28 11:48:19 Karetta|Kahua home含むアンテナおとなりページ

    01/27冗談作法ノート 78429626821
    01/21異文化体感!ことの始まり? 110038055602
    01/19海外体験ノート 206274234504
    05/02正論吐きなんてやめちまえ 232299860
    04/11クールジャパン・ムンバイ報告 232301400
    03/08ナンプレ教室『超簡単入門』 106321109901
    03/07パズル問題自動生成時代 6954486390

  128. 2014/05/07 21:27:13 ヒビルテ含むアンテナおとなりページ

    本日のツッコミ(全2件) [ツッコミを入れる]
    ψ さかい [おお。知らなかったです。ありがとうございます!]
    Tags: haskell machine-learning
    Tags: haskell machine-learning optimization
    Tags: haskell machine-learning optimization
    さかい (05-07)
    metaphusika (

  129. 2014/01/09 20:33:10 小飼弾のアルファギークに逢いたい♥|gihyo.jp含むアンテナおとなりページ

    2010年3月24日[初出:WEB+DB PRESS Vol.55(2010年2月24日発売)]
    2010年1月26日[初出:WEB+DB PRESS Vol.54(2009年12月24日発売)]
    2009年11月25日[初出:WEB+DB PRESS Vol.53(2009年10月24日発売)]
    2009年9月22日[初出:WEB+DB PRESS Vol.52(2009年8月24日発売)]
    2

  130. 2014/01/05 10:34:19 ホワット・ア・ワンダフル・ワールド含むアンテナおとなりページ

    上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。

  131. 2013/11/22 04:03:31 はてなブックマーク日記含むアンテナおとなりページ

    お問い合わせ、不具合報告

  132. 2013/10/27 03:44:49 Beginning OS X含むアンテナおとなりページ

    Beginning OS X Mavericks
    「http://osx.miko.org/index.php?title=メインページ&oldid=538」から取得
    このページの最終更新日時は 2013年10月26日 (土) 22:35 です。

  133. 2013/05/06 09:07:20 gauche.night含むアンテナおとなりページ

    Tag: gauche.night
    Last modified : 2013/05/05 22:08:48 UTC

  134. 2013/02/21 06:59:14 Syntax Error含むアンテナおとなりページ

    Read-only file system - /www/htdocs/lab2/public_html/hanatani/tdiary/data/2007/200703.td2 (Errno::EROFS)/www/htdocs/lab2/public_html/hanatani/tdiary/tdiary/defaultio.rb:127:in `initialize’/www/htdocs/

  135. 2012/10/11 03:44:15 Archives 含むアンテナおとなりページ

    これに対する私のメッセージ。
    apj ‏@apj 13:21:37
    私は測定結果の方を重視するのでね。あなたが他の基準を採用したければご自由にどうぞ。RT @skyhigh0521: 野尻さん。早野とかの御用学者にコロッと騙されるのは勝手だけど、それで風評被害だと決め付けるのはどうかな。
    すると、1年後同じことを言っているかどうかを問題にされた。
    13:25:04 skyhigh(脱原

  136. 2012/05/09 19:04:29 Meadow Official Site含むアンテナおとなりページ

    coach outlet

  137. 2012/02/23 23:47:03 世界史講義録含むアンテナおとなりページ

    第79回 フランス革命2(2003.2.11)
    第80回 フランス革命3(2003.9.6)
    第81回 フランス革命4(2004.2.10)
    第81回 フランス革命4(2004.2.10)
    第80回 フランス革命3(2003.9.6)
    第79回 フランス革命2(2003.2.11)

  138. 2012/01/24 23:41:45 だ日記含むアンテナおとなりページ

    14:28 [Go] ベネチアからフ…
    13:02 [Go] ベニスからフィ…

  139. 2012/01/03 03:35:44 more-functional含むアンテナおとなりページ

    WiLiKi 0.5.3 running on Gauche 0.9.2

  140. 2010/07/18 06:15:03 どう書く?org 含むアンテナおとなりページ

    最新のお題: 数字混じり文字列ソート
    greentea #12222(2010/07/17 13:21 GMT) 評価0/0=0.00
    ファイル名の表示順序としてWindows Vista以降のExplorerや、KDEのDolphinでもいつの間にか、単純な辞書順ソートではなく数字混じりの文字列を数字順に並べるソートが採用されています。ここではそのソート方法を数字混じり文字列ソートと呼びます。

  141. 2010/04/15 06:46:09 圏外からのひとこと含むアンテナおとなりページ

    Script Error
    The script did not produce proper HTTP headers. Please see the error log to see the detail of the errors. Depending on the server configuration, you can also run thisscript under CGIWrap

  142. 2010/04/11 22:27:34 Misc Change Log 含むアンテナおとなりページ

    ←April→
    252627282930

  143. 2010/04/05 17:59:18 日本 Ruby 会議 2007 - トップページ含むアンテナおとなりページ

    各スピーカーのご厚意により、講演資料または講演資料へのリンクを随時公開しております。
    プログラムページまたは速報ログページの先よりたどることができます。
    「RubyKaigi2007のライトニングトークスに関するコメント」を発表しました。
    「RubyKaigi2007のライトニングトークスに関するコメント」発表

  144. 2010/04/04 19:32:57 日本Rubyカンファレンス2006 - トップページ含むアンテナおとなりページ

    {{attach_view(’aist_s.png’, ’SideMenu’)}}undefined method `apply_plugin’ for #
    {{attach_view(’nacl_s.png’, ’SideMenu’)}}undefined method `apply_plugin’ for #
    {{attach_view(’cybozu_labs_s.png’, ’SideMe

  145. 2010/03/24 01:09:03 Z3の写真館含むアンテナおとなりページ

    2002/4/4カウント開始
    新コーナー『自然の部屋』オープンしました!! 一部製作中ですが、ぜひご覧ください。
    更履歴
    (最新5件)
    ’04/05/14 『自然の部屋』 新設
    ’04/04/29 最近のひとコマ ’04/04/25 『雪見桜』追加
    ’04/02/28 『デジカメ買っちゃった!』
    04/02/03 最近のひとコマ ’04/02/02『酒』追加
    10/01 最近のひとコマ ’03/

  146. 2010/03/23 22:40:05 日これ含むアンテナおとなりページ

    ただいま調整中

  147. 2010/03/23 22:33:27 J含むアンテナおとなりページ

    _ 告知しろと言われたので(1ヶ月ほど前に)
    最近 _
    こっちに書いてます _
    あとこの日記ツールAtomのマシンにしてから初めて動かすのだけど、1.5年分の記録を日記にするのに44秒かかるとか酷い _
    昔書いたコードが読めねー。 _
    _ つつついにやってしもうたよ
    今日間違えて会社行った。照明付いてなかったときは何事かと思ったよ。僕としてはあまり一般人の枠から積極的にはみ出たいとは思っていないの

  148. 2010/03/23 19:59:16 神は細部に宿り給う含むアンテナおとなりページ

    最新エントリ
    移転のお知らせ [02/23]
    FC2ブログからWordPressに移転します [04/12]
    ウィリアム・ブライアント・ローガン『ドングリと文明 偉大な木が創った1万5000年の人類史』 [04/09]
    繁田信一『殴り合う貴族たち―平安朝裏源氏物語』 [04/08]
    H.S.クシュナー『なぜ私だけが苦しむのか―現代のヨブ記』 [04/06]
    書評在庫一掃セール2009年4月版 [0

  149. 2010/03/23 18:19:32 含むアンテナおとなりページ

    学生の研究日記らしいです。多分。
    最後まで学生初心者だった人の日記。
    ちょっと突然ですが、ささだ(笹田耕一)は東京農工大学を 3/31 付けで退学いたしました。
    自分の人生に退学届けを提出するというイベントが発生するとは思いもしませんでしたが、何かレア (!= アレ) なフラグををセットしてしまったようです。そして、学部 4 年、修士課程 1 年、博士課程 2 年の、計 7 年間という長い学生生活

  150. 2010/03/23 18:14:09 汎夢殿含むアンテナおとなりページ

    汎夢殿
    BLOG形式を導入します
    小説関連
    お知らせ
    近況報告
    既刊情報
    予定情報一覧
    履歴
    接点
    汎夢殿に関する若干の説明
    リンク
    メール送付

  151. 2009/04/15 08:52:43 ただただし@「ただのにっき」のエンジニアいとをかし含むアンテナおとなりページ

    ヘルプ
    現在、あなたがお使いのブラウザは、Cookie(クッキー)をブロックする設定になっています。
    リクナビNEXTでは、個人情報保護と利便性の観点からクッキーの使用をお願いしています(個人情報収集等の目的では使用しておりません)。お手数ですが、ブラウザの設定を変更してください。
    ■クッキーを使用するには?(Microsoft Internet Explorer 6.0の場合)
    「ツール」メニュ

  152. 2009/01/11 13:36:19 ひ日誌含むアンテナおとなりページ

    in maintenance

  153. 2009/01/07 21:20:47 Floating Log含むアンテナおとなりページ

    # 女装する女
    湯山玲子「女装する女」新潮新書(2008)。なるほどね、と思う分析が多かった。そうした分析した後に、マーケットとして開拓していく、というところを狙っている感じがある。案外売れるか?
    posted at 18:01:52 #

  154. 2007/12/28 22:45:26 RecentChanges - Kyoshow含むアンテナおとなりページ

    Gone
    The requested resource
    /~web/cgi-bin/pukiwiki/
    is no longer available on this server and there is no forwarding address.Please remove all references to this resource.

  155. 2007/04/10 23:24:15 Gentoo 航海日誌含むアンテナおとなりページ

    本日のツッコミ(全1件) [ツッコミを入れる]
    ▼ atzm [ツッコミテストです. ]
    [ツッコミを入れる]