Sivujen muokkaaminen vaatii nykyään kirjautumisen. Jos sinulla ei vielä ole tunnuksia, luo sellaiset.

Ero sivun ”Käyttäjä:Petrus Asikainen” versioiden välillä

Primayk
Loikkaa: valikkoon, hakuun
p (päivitys mm. yhteystietoon)
 
(17 välissä olevaa versiota 2 käyttäjän tekeminä ei näytetä)
Rivi 1: Rivi 1:
Kutajoinkin semiaktiivisesti Primaykin toimintaan osallistumaan pyrkivä 1m-luokkalainen.
+
'''Vuonna 2014 aloittanut [[matikisti]] (valmistui 2017), joka harrastaa [[ohjelmointi]]a sekä [[code golf]]ia.''' __NOTOC__
  
Tämän enempää en nyt jaksa kirjoittaa. Jos on asiaa huutele [[Keskustelu käyttäjästä:Petrus Asikainen|keskustelusivulla]].  
+
Toimii Primaykin adminina ja vastaa [[Tapahtumat]]-systeemin ylläpidosta.
  
--[[Käyttäjä:Petrus Asikainen|<span style='font-family:"Comic Sans MS","Comic Sans",Papyrus,Jokerman,"Choco Cooky","Lucida Handwriting",Arial,Helvetica,sans-serif;font-weight:normal'><span style="color:lime">'''P'''''e'''t'''''r'''u'''''s '''A'''''s'''i'''''k'''a'''''i'''n'''''e'''n'''''</span><b style="color:red">1m</b></span>]] <nowiki>[</nowiki>[[Keskustelu käyttäjästä:Petrus Asikainen|k]] [[Toiminnot:Muokkaukset/Petrus Asikainen|m]]<nowiki>]</nowiki>
+
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>
22. elokuuta 2014 kello 12.31 (EEST)
+
 
 +
{{Sitaatti|Sanoiko joku täällä syöys?}}
 +
 
 +
== 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 ===
 +
 
 +
<math>
 +
\operatorname{purkka}(rajapinta) + \operatorname{purkka}(toteutus) \ge \mathscr{P}
 +
</math>
 +
 
 +
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 ===
 +
 
 +
<math>
 +
\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>
 +
 
 +
{{Sitaatti|Joku keksii aina tavan tehdä se lyhyemmin.}}
 +
 
 +
=== Järjen peruskaava ===
 +
 
 +
<math>
 +
\lim_{x \to \infty} f(x) = 0
 +
</math>
 +
 
 +
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»