トップ «前の日(04-16) 最新 次の日(04-18)» 追記

日々の流転


2002-04-17

λ. 寝たり、寝たり、起きたり。

λ. そういえば、SFC-MODEのCommunityってNNTPとかで読めないのかしら。

λ. 時間割り

時間割りを登録。けっこう悩んだのだけど、てきとうに安易な方向に流れてみることにした。自分の勉強の時間を授業に取られるのも嫌だし。

……と言い訳してみるが、結局は自分の中で何か熱意のようなものが薄れてきているという事のような気がする。

本日のツッコミ(全7件) [ツッコミを入れる]

ψ sachi [その、NNTPの話、友達がやっていましたよ。]

ψ さかい [あ、やっぱりあるのか。 みんな考えることは同じですね。]

ψ sachi [つっこみじゃなくてすいません。 でも、なかなかめんどくさいということを言ってました。 SFC-モードって今どうなって..]

ψ さかい [たしかに、SFC-MODE側にコードを入れるにしても、 HTTPでデータを取り込んでゴニョゴニョするにしても色々面倒..]

ψ sachi [小檜山研のヒトがやっているということはしりませんでしたので、じゃあ全員卒業したというのは間違いです(笑) このシステ..]

ψ takot [紹介された「ともだち」の方ですが……(笑 cookieの未読管理さえ捨てれば難しくないとは思いますが、 INNのN..]

ψ さかい [どうも、はじめまして。 > cookieの未読管理さえ捨てれば難しくないとは思いますが、 未読管理は、cooki..]



2005-04-17

λ. C304 裏切りの村 目次

Tags: 人狼

λ. C304 裏切りの村 プロローグ

時間に13人がそろわずにプロローグが24時間延びる。ディーターがあと一分早ければ13人で始まったのだろうけど、どっちが良かったかは分からんな。どうなるか楽しみだ。

それにしても、狂人と人狼が会話できるC国は初参加なので、ガクガクブルブルでつよ。

Tags: 人狼

2006-04-17

λ. f (f x) == -x

今日の一行より。向井さんがなにやら悩んでるけど、単に虚数単位をかける関数で良い。

import Complex

f :: RealFloat a => Complex a -> Complex a
f x = x * (0 :+ 1)

ツッコミにあるように「実数関数」だったので、これじゃ全然良くなかった。仕方ないので少し真面目に考える。

  • 条件からf2は全単射
  • そこから、fが単射であることと、fが全射であることが言えるので、fもやはり全単射
  • f(-x) = f(f(f(x))) = -f(x)
  • 零と正の実数に対する値だけ定義すれば、負の実数に対する値は自動的に定まる
  • 特に f(0)=-f(0) なので、f(0) = 0
  • 0以外の数に対しては「x ↦ f(x) ↦ -x ↦ -f(x) ↦ x」という周期4のサイクル

したがって、正の実数を二つの同型な集合A,Bに分割出来ればよい(A≅B, A∪B=正の実数, A∩B=∅)。 そのような集合A,Bと全単射g:A->Bが与えられたとすると、以下のような関数が条件を満たすことは明らか。

f 0 = 0
f x
  | x<0  = - f (-x)
  | x∈A = g x
  | x∈B = - (g^{-1} x)

したがって、問題はこのようなA,B,gを見つけることに還元される。

そのようなA,B,gの選び方は複数存在するけど、一つの方法は整数の偶奇を利用する方法。

  • A = {x∈R | 0<x, odd (ceiling x) }
  • B = {x∈R | 0<x, even (ceiling x) }
  • g(x) = x+1

他の方法として…

(続く?)

Tags: quiz
本日のツッコミ(全2件) [ツッコミを入れる]

ψ 無名関数 [実数から実数への関数 f でちゅ。]

ψ さかい [あ、見落としてました しょぼーん(´・ω・`)]


2009-04-17

λ. mixi2gmail

先日、<URL:http://sho.tdiary.net/20090322.html#p01> を読んで、mixi2gmail使い始めた のだけど、ちょっと気になった点があったので修正してみた。

本日のツッコミ(全4件) [ツッコミを入れる]

ψ ただただし [取り込みました。thanks:-)]

ψ さかい [ありがとうごさいます。 # 後でメールしようと思ってたら、その前に取り込まれてしまった (^^;]

ψ ただただし [CodeReposなので、勝手にやってもらっちゃってもいいんですけどね:-)]

ψ さかい [これを機にCodeReposのアカウント作ろうかなぁ……]


2010-04-17

λ. CLTT読書会第一回

Cartesian Morphism の定義がああなっている動機がわかって良かった。 今のところ、難易度は Preliminaries > Chapter 0 > Chapter 1 のような気がする。

Tags: 圏論