Sivujen muokkaaminen vaatii nykyään kirjautumisen. Jos sinulla ei vielä ole tunnuksia, luo sellaiset.
Ero sivun ”Käyttäjä:Petrus Asikainen” versioiden välillä
p (→Kaavoja) |
p (päivitys mm. yhteystietoon) |
||
| (4 välissä olevaa versiota samalta käyttäjältä ei näytetä) | |||
| Rivi 1: | Rivi 1: | ||
| − | '''Vuonna 2014 aloittanut [[matikisti]] ( | + | '''Vuonna 2014 aloittanut [[matikisti]] (valmistui 2017), joka harrastaa [[ohjelmointi]]a sekä [[code golf]]ia.''' __NOTOC__ |
Toimii Primaykin adminina ja vastaa [[Tapahtumat]]-systeemin ylläpidosta. | Toimii Primaykin adminina ja vastaa [[Tapahtumat]]-systeemin ylläpidosta. | ||
| − | Jos on asiaa, tule [[Keskustelu käyttäjästä:Petrus Asikainen|keskustelusivulle]] tai lähetä [irc://irc1.inet.fi/ IRCNetissä] viestiä | + | Jos on asiaa, ota yhteyttä Telegramissa [https://t.me/peeloS @peeloS]. <del>tule [[Keskustelu käyttäjästä:Petrus Asikainen|keskustelusivulle]] tai lähetä [irc://irc1.inet.fi/ IRCNetissä] viestiä PurkkaKoodarille (paikalla (liian) harvoin).</del> |
{{Sitaatti|Sanoiko joku täällä syöys?}} | {{Sitaatti|Sanoiko joku täällä syöys?}} | ||
== Kaavoja == | == Kaavoja == | ||
| + | |||
| + | === Joukkoliikenteen aikataulusääntö === | ||
| + | |||
| + | Olkoon <math>K_0</math> kaikkien kulkuvälineiden joukko, ja <math>HSL \subset K_0, VR \subset K_0</math> kyseisten toimijoiden kulkuvälineiden joukot. | ||
| + | |||
| + | <math>\forall k \in K_0 : k \in HSL \cup VR \implies \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) = 0</math> | ||
| + | |||
| + | === Joukkoliikenteellä ehtimisen sääntö === | ||
| + | |||
| + | Olkoon <math>M</math> kaikkien matkojen joukko ja <math>K(m) \subseteq K_0</math> jonkin matkan <math>m \in M</math> kulkemiseen tarvittavien kulkuvälineiden joukko. | ||
| + | |||
| + | <math>\forall m \in M : K(M) \cap (HSL \cup VR) \neq \empty \implies \operatorname{P}(\operatorname{saapumisaika}(m) \leq \operatorname{sovittu\space aika}(m)) = 0</math> | ||
| + | |||
| + | '''Todistus.''' Tunnetusti | ||
| + | |||
| + | <math>\operatorname{P}(saapumisaika \leq sovittu\space aika) = \displaystyle\prod_{k \in K(m)} \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k))</math> | ||
| + | |||
| + | Edellisen säännön perusteella | ||
| + | |||
| + | <math>K(m) \cap (HSL \cup VR) \neq \empty</math> | ||
| + | |||
| + | <math>\iff \exist k \in K(m) : k \in (HSL \cup VR)</math> | ||
| + | |||
| + | <math>\implies \exist k \in K(m) : \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) = 0</math> | ||
| + | |||
| + | <math>\iff \operatorname{P}(\operatorname{saapumisaika}(m) \leq \operatorname{sovittu\space aika}(m)) = \displaystyle\prod_{k \in K(m)} \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) = 0 \;_\square</math> | ||
=== Purkan minimikaava === | === Purkan minimikaava === | ||
| Rivi 16: | Rivi 42: | ||
missä <math>\operatorname{purkka}(x)</math> on purkan määrä <math>x</math>:ssä ja <math>\mathscr{P}</math> on ''universaali purkkavakio''. | missä <math>\operatorname{purkka}(x)</math> on purkan määrä <math>x</math>:ssä ja <math>\mathscr{P}</math> on ''universaali purkkavakio''. | ||
| + | |||
| + | {{Sitaatti|Jos rajapinta on siisti, niin ainakin toteutus on purkkaa, ja toisinpäin.}} | ||
=== Code golfin peruskaava === | === Code golfin peruskaava === | ||
<math> | <math> | ||
| − | \forall K \in \operatorname{kielet}, O \in \operatorname{ongelmat}, R \in \operatorname{ohjelmat}_K(O) \exists R^\prime \in \operatorname{ohjelmat}_K(O) : \operatorname{len}(R^\prime) < \operatorname{len}(R) | + | \forall K \in \operatorname{kielet}, O \in \operatorname{ongelmat}, R \in \operatorname{ohjelmat}_K(O) \space \exists R^\prime \in \operatorname{ohjelmat}_K(O) : \operatorname{len}(R^\prime) < \operatorname{len}(R) |
</math> | </math> | ||
| + | |||
| + | {{Sitaatti|Joku keksii aina tavan tehdä se lyhyemmin.}} | ||
=== Järjen peruskaava === | === Järjen peruskaava === | ||
| Rivi 30: | Rivi 60: | ||
missä <math>x</math> on ihmisjoukon koko ja <math>f(x)</math> on ihmisjoukon järjen määrä. | missä <math>x</math> on ihmisjoukon koko ja <math>f(x)</math> on ihmisjoukon järjen määrä. | ||
| + | |||
| + | {{Sitaatti|Joukossa tyhmyys tiivistyy}} | ||
Nykyinen versio 15. tammikuuta 2018 kello 17.21
Vuonna 2014 aloittanut matikisti (valmistui 2017), joka harrastaa ohjelmointia sekä code golfia.
Toimii Primaykin adminina ja vastaa Tapahtumat-systeemin ylläpidosta.
Jos on asiaa, ota yhteyttä Telegramissa @peeloS. tule keskustelusivulle tai lähetä IRCNetissä viestiä PurkkaKoodarille (paikalla (liian) harvoin).
»Sanoiko joku täällä syöys?»
Kaavoja
Joukkoliikenteen aikataulusääntö
Olkoon $ K_0 $ kaikkien kulkuvälineiden joukko, ja $ HSL \subset K_0, VR \subset K_0 $ kyseisten toimijoiden kulkuvälineiden joukot.
$ \forall k \in K_0 : k \in HSL \cup VR \implies \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) = 0 $
Joukkoliikenteellä ehtimisen sääntö
Olkoon $ M $ kaikkien matkojen joukko ja $ K(m) \subseteq K_0 $ jonkin matkan $ m \in M $ kulkemiseen tarvittavien kulkuvälineiden joukko.
$ \forall m \in M : K(M) \cap (HSL \cup VR) \neq \empty \implies \operatorname{P}(\operatorname{saapumisaika}(m) \leq \operatorname{sovittu\space aika}(m)) = 0 $
Todistus. Tunnetusti
$ \operatorname{P}(saapumisaika \leq sovittu\space aika) = \displaystyle\prod_{k \in K(m)} \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) $
Edellisen säännön perusteella
$ K(m) \cap (HSL \cup VR) \neq \empty $
$ \iff \exist k \in K(m) : k \in (HSL \cup VR) $
$ \implies \exist k \in K(m) : \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) = 0 $
$ \iff \operatorname{P}(\operatorname{saapumisaika}(m) \leq \operatorname{sovittu\space aika}(m)) = \displaystyle\prod_{k \in K(m)} \operatorname{P}(\operatorname{saapumisaika}(k) \leq \operatorname{aikataulun\space aika}(k)) = 0 \;_\square $
Purkan minimikaava
$ \operatorname{purkka}(rajapinta) + \operatorname{purkka}(toteutus) \ge \mathscr{P} $
missä $ \operatorname{purkka}(x) $ on purkan määrä $ x $:ssä ja $ \mathscr{P} $ on universaali purkkavakio.
»Jos rajapinta on siisti, niin ainakin toteutus on purkkaa, ja toisinpäin.»
Code golfin peruskaava
$ \forall K \in \operatorname{kielet}, O \in \operatorname{ongelmat}, R \in \operatorname{ohjelmat}_K(O) \space \exists R^\prime \in \operatorname{ohjelmat}_K(O) : \operatorname{len}(R^\prime) < \operatorname{len}(R) $
»Joku keksii aina tavan tehdä se lyhyemmin.»
Järjen peruskaava
$ \lim_{x \to \infty} f(x) = 0 $
missä $ x $ on ihmisjoukon koko ja $ f(x) $ on ihmisjoukon järjen määrä.
»Joukossa tyhmyys tiivistyy»
