|
|
|
|
|
||
|
||
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする。
open import Relation.Binary.PropositionalEquality
using (_≡_; refl)
open import Data.Product
using (_×_; p
7/17/2020
19 minutes to read
2020-07-14
思いは言葉に。
初めての方へ
はてなブログとは
はてなブログPro
使い方講座
おすすめ記事
YouTubeが不具合祭りになっていてVTuber界隈が阿鼻叫喚な件について
まいくろ〓きりみん
2020-03-26 13:20:40
例のウイルスの影響がインターネットにも起こっているという話。 最近VTuber界隈ではYouTubeの挙動が色々とおかしく…
飛べないJALの資金繰りは大丈夫か？
銀行員のための教科書
2020-03-23 19:20:34
俺の遺言を聴いてほしい
2020-03-25 21:00:15
基本読書
2020-03-26 08:00:04
京都タワーをラブホに変えたテ
2019年11月24日
QiitaとGitHubの2つで情報発信することにします。
Tweet
技術ブログサービス 「Qrunch」に引っ越すことにするって書きましたが、結局あまり更新できていません。
もう、プログラミングに関する内容は、QiitaとGitHubの2つに絞ろうと思います。
https://qiita.com/gushwell
https://github.com/gushwell
Posted by gushwell at 20:11 │Comments(0)
QiitaとGitHubの2つで情報発信することにします。
2019年11月
この広告は、90日以上更新していないブログに表示しています。
中国人「中日が深い戦略協力関係になる可能性」
（ ｀ハ´）中国の反応ブログ
【パズドラ】LF36倍でもキン肉マングレートの火力が4500万！スキルも結構強い！………でもリーダースキルの攻撃倍率が低すぎるｗｗｗｗｗｗｗ
ｋｅｎのページ -パズドラの最新情報・速報・攻略-
筆記試験直前！気をつけてほしいこと
【LEC公務員合格者ブログ】即効！合格者が教える勉強法
Log in Sign up
Log in Sign up
by Unknown at 23:290comments
by Unknown at 18:182 comments
by Unknown at 7:512 comments
もっと見る
About CLR/H
News
~ -Community for Learning and Research in Hokkaido-
検索:
見つかりませんでした。
お探しのものが見つかりません。
ホームページへ戻るか、上の検索ボックスをお使いください
プライバシーと Cookies:このサイトは Cookies を使用しています。このサイトの使用を続けると、Cookie の使用に同意したとみなされます。
Cookie の管理方法を含め、詳細についてはこちらをご覧ください: Cookie ポリシー
ページが見つかりません。
ブラウザで再読み込み(Reload)や再起動していただいても表示されない場合は、 URLが間違っているか、
ココログ開設者がココログを閉じた可能性があります。
ココログトップへ戻る >>
個人情報保護ポリシー
©2008 NIFTY Corporation
作って分かる「クラウドAI」実践講座
Microsoft Cognitive Servicesを通して、クラウドのAIサービスのバリエーション、それぞれの想定用途、事例などを学びます。さらに簡易なAIシステムを実際に開発することで、ビジネス適用の企画力やシステム構築力を養います。
Copyright © 2018 Apple Inc. All rights reserved.
2017 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact infor
xole.net
2016 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (cont
You access from 210.197.74.203
Copyright(C) 2016 Future Versatile Group. All rights reserved.
210.197.74.203
雑記(10)
茶(12)
料理(3)
終了まで日時間分秒 2015年10月2日（金）19:00まで
日本語もOK！ .com .net .xyz .mobi .info .biz .co .jp
2009/02/06 表現の訓練の場
Last modified : 2015/08/09 21:38:49 UTC
AjaxbrushCSSdesigndownloadFirefoxflashfreeiconIllustratoriPhoneJavaScriptlogoPhotoshop関連tipstutorialweb2.0Web Creatorsweb designwebdesignWordPressまとめアイコンインスピレーションウェブクリエイターズウェブデザインクリエイティブスタイルシートソフトダウンロードチュートリアルツールテンプレートデザインフォントフリーブラシプラグインボタンロゴ写真壁紙海外Web制作事情無料素材
2007年1月 (19)
2006年12月 (3)
2006年11月 (3)
2
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
http://tmaeda.s45.xrea.com/td/ Tomoki MAEDA Copyright 2013 Tomoki MAEDA, copyright of comments by respective authors http://tmaeda.s45.xrea.com/td/20100113.html#c012013-10-08T19:07:58+09:00suzf|ellaorq423President Nicolas Maduro said the diplomats play a joke on 48 hours to unpeopled the country, sa
http://tmaeda.s45.xrea.com/ 日々是横着 2013-12-21T12:47 http://tmaeda.s45.xrea.com/20041101.html#p02 http://tmaeda.s45.xrea.com/20041101.html#p03 http://tmaeda.s45.xrea.com/20041101.html#p04 http://tmaeda.s45.xrea.com/20041101.html#p05 http://tmaeda.s45.xrea.com/20041101.html#p06 http://tmaeda.s45.xrea.c
Intel CnC であそんでみた(そのに)
前回の複利計算。お気づきとは存じますが実はちっとも並列処理やってません。
n-1番step が完了(n-1番itemを出力)するまで n番step は出番がなくて居眠りしてますからね。
もちっとマシな、並列処理をちゃんとやるサンプルをこさえました。毎度おなじみ”ソート”です。
戦術はこんなかんじ:
”範囲[lo,hi) をソートする”
範囲がそこそこ小さいときはフツーに選択ソートを行う
さもなくば、範囲を 前半部[lo,mid) と 後半部[mid,hi) とに分け、
”範囲[lo,mid) をソートする”
”範囲[mid,hi) をソートする”
posted @ 21:33 | Feedback (98)