|
|
|
|
|
||
|
||
2025/03/13 23:37:03 はてなブックマーク - タグ 形式手法
302 users
371 users
334 users
308 users
151 users
125 users
OpenSearchで日本語全文検索をするためのドメイン知識を整理する - ドワンゴ教育サービス開発者ブログ
93 users
129 users
429 users
「A
2025/03/13 23
2025-03-13
モナドの靴を履いたスパンとファミリー、そして二重圏
雑記／備忘
集合圏のスパンの一般化として、スパンの足をモナド（比喩的に靴）で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…
モナドの靴を履いたスパンとファミリー、そして二重圏
2025-03-12
あみだくじが無限ループしないことを証明した
どんなあみだくじでも答えにたどり着くことを証明した。
ここでいうあみだくじとは
有限本のくじ(縦棒)がある
縦棒上の点と点を結ぶ横道が有限本ある
横道は水平線だけじゃなく、遠くのくじへ行ったり自身を上に行ったりできる
ダメなこと
「ふりだしへもどる」はない
同じ点と点を結ぶことはできない
一方通行はない
一度通ると崩れるマリオのブロ
dhrnameのブログ•4ヶ月前
「はてなのお知らせ」Chrome拡張機能サービス一時停止と今後の開発について
▼ ▶
2025
2025 / 3
K's Atelier•6ヶ月前
借入急ぎ
Version française
Home About Download Resources Contact us
This site is updated infrequently. For up-to-date
information, please visit the new OCaml website at ocaml.org.
Latest News
The C
Gauche - Current version 0.9.15 (2024/04/24)
camlspotter’s blog
読者になる
らくがきえんじん
読者になる
Yet Another Ranha
読者になる
ぐるぐる～
読者になる
keigoiの日記
読者になる
zyxwvの日記
読者になる
みずぴー日記
読者になる
菊やんの雑記帳
読者になる
Gemmaの日記
読者になる
osiire’s blog
読者になる
tanakh 2020-08-31 03:29 読者になる
▼ ▶
2012
2012 / 10
▼ ▶
2011
2011 / 8
▼ ▶
2010
2010 / 2
2010 / 1
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 /
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
Not Found 404.0
5...
次のページ
>>|
2017年07月20日09:00
カテゴリ
VALU
〓〓〓〓〓〓0
dankogai
コメント( 1 )
2017年03月19日16:30
カテゴリ
evalpark
Open Source
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2017年03月17日10:30
カテゴリ
evalpark
Open Source
Copy iframe embed code
Copy iframe embed code
FAQ / お問い合わせ窓口
This domain name has been registered with Gandi.net
View the WHOIS data for ocsigen.org to see the domain窶冱 public registration information.
ocsigen.org
is registered
Want your own domain name?Learn m
Drawing ”Oiseau de feu” by courtesy of Michel Mendès France
Sources and exercises from the book
We give the source of all examples and the solution of 170 over 200 exercises from the book.
For
ドメインが無効な状態です。
「 ken-wakita.net 」のページは、ドメインが無効な状態です。
ウェブサイト管理者の方はこちらから変更・更新を行ってください。
「 ken-wakita.net 」is Expired or Suspended. The WHOIS is here.
[login]
Lightweight Language Spirit
情報
開催のお知らせ
チケット発売情報
セッション内容(発表資料)
チケット追加販売のお知らせ
取材をご希望の方へ
チャット
ブログ
LL魂ブログ
2007-08-23 LL公式サイトの回線障害が復旧しました
2007-08-23 LL魂公式サイトで回線障害が起こっています
2007-08-09 発表資料を公開しました
200
誠に恐縮ですが
有限会社ITプランニングは2017年3月をもちまして休業させていただいております。
↑超えられない壁
スポンサーサイト
上記の広告は１ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
スポンサー広告 :
このページのトップへ
ブログの移転
過去の記事をすべて FC2 から はてな へ移転しました．
スポンサーサイト
未分類 :
コメント 2 :
トラックバック 1
このページのトップへ
ホーム
このページのトップへ
プロフィール
最近は Arch
本日のツッコミ(全2件) [ツッコミを入れる]
ψ さかい [おお。知らなかったです。ありがとうございます！]
Tags: haskell machine-learning
Tags: haskell machine-learning optimization
Tags: haskell machine-learning optimization
さかい (05-07)
metaphusika (
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
The Twitter REST API v1 is no longer active. Please migrate to API v1.1. https://dev.twitter.com/docs/api/1.1/overview.
Gone
The requested resource
/cocorico/coqwiki
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
Messages: 943