Turingin testin historia
|
|
|
- Minna Hänninen
- 6 vuotta sitten
- Katselukertoja:
Transkriptio
1 Turingin testin historia Jessika Penttinen Seminaariesitelmä Tietojenkäsittelytieteen historia, kevät 2007 Slide 1
2 Esityksen rakenne Johdanto - Mikä on Turingin testi Turingin testi eri vuosikymmeninä Kehittyminen Keskustelua Toteutuksia Parempia ehdotuksia Yhteenveto - Turingin testin merkitys? Slide 2
3 Johdanto - Mikä on Turingin testi Matemaatikko Alan Turing esitteli 1950 julkaistussa artikkelissa Imitaatiopelin Sai 1970-luvulla nimen Turingin testi Operationaalinen määritelmä koneen älykkyydelle? Voiko kone ajatella? -----> Voiko kone läpäistä Turingin testin? Slide 3
4 1950-luku: Imitaatiokoe Mies, nainen, haastattelija ja kaukokirjoitin Sekä mies että nainen esittävät naista Haastattelija arvuuttelee Mies korvataan koneella Tekeekö haastattelija tällä tavalla pelattaessa väärän valinnan yhtä usein kuin silloin, kun peliä pelataan miehen ja naisen välillä? Slide 4
5 Turingin testin modernit versiot Turingin kaksi muunnelmaa: Nainen korvataan miehellä Ihminen voi olla kumpaa sukupuolta vain Modernissa versiossa vain yksi pelaaja (kone tai ihminen) ja haastattelija Slide 5
6 1950-luku: Turingin ajatukset Turing itse esitteli yhdeksän vastaväitettä imitaatiopelille ja kumosi ne Tärkeimmät(?) niistä ovat Matemaattinen vastaväite (Gödelin teoreema) Toisen mielen ongelma Lady Lovelacen vastaväite Slide 6
7 1950: Turing uskoi... I believe that in about fifty years' time it will be possible, to programme computers, with a storage capacity of about 109, to make them play the imitation game so well that an average interrogator will not have more than 70 per cent chance of making the right identification after five minutes of questioning. A.M.Turing: Computer machinery and intelligence, 1950 Slide 7
8 1960-luku: Imitoivat kivet Keith Gunderson varhainen kriitikko Imitoinnilla ei tarvitse olla mitään tekemistä älykkyyden kanssa Kivet voivat imitoida varpaille astuntaa? Imitaatiopelin pelaaminen vain yksi esimerkki siitä, mitä älykäs kone voi tehdä Jos imurilla voi imuroida pölyä, tekeekö se siitä joka paikan imurin? Slide 8
9 1960-luku: Valloittava psykiatri Eliza - ensimmäinen luonnollista kieltä käyttävä ohjelma J. Weizenbaum Simuloi psykoterapeuttia Muuttaa haastattelijat kommentit kysymyksiksi Elizaa on luultu oikeaksi ihmispsykiatriksi Läpäisee siis rajoitetun testin Slide 9
10 1970-luku: Ensimmäiset epäilykset R. Purtill 1971: Imitaatiopeli on scifiä Ensimmäisiä, jotka epäilivät läpäistävyyttä P.H. Millar 1973: Imitaatiopeli pakottaa ampropomorfismiin J. Moor 1979: Turingin testi sopii todisteiden keräämiseen Slide 10
11 1970-luku: Paranoidi mieli K. Colby koodasi 1970-luvulla Parryn Simuloi paranoidia potilasta Selviää rajoitetusta testistä Oikeatkaan psykiatrit eivät aina erota oikeasta potilaasta Esimerkki Parryn ja Elizan keskustelusta: Slide 11
12 1980-luku: Kiinalainen pölkkypää Ned Block 1981: Konstruoi hypoteettisen koneen (ns. pölkkypään), joka läpäisee Turingin testin John Searle 1980: Vertasi Turingin testiä huoneeseen, jossa kiinaa osaamaton operoi kiinalaisilla merkeillä (ns. kiinalainen huone) Slide 12
13 1990-luku: dollarin haaste Ensimmäinen Loebner Price -kilpailu 1991 Vuodesta 1995 alkaen rajoittamaton Haastattelijat arvioivat haastateltavien ihmisyyttä Ihmistä luultu koneeksi, kone arvioitu ihmistä inhmismäisemmäksi Yksikään kone ei ole vielä läpäissyt Slide 13
14 1990-luku: Riittääkö kielillä puhuminen? S. Watt 1996: Käänteinen Turingin testi S. Harnad 1989: Totaalinen Turingin testi P. Schweizer: Todellinen totaalinen Turingin testi Slide 14
15 Turingin testi nyt ja tulevaisuudessa Turingin testi ei ole vakavasti otettava? Turingin testi on aikaansa edellä? Slide 15
16 Yhteenveto Alan Turing esitteli 1950 imitaatiopelin Sai 1970-luvulla nimen Turingin testi Operationaalinen määritelmä koneen älykkyydelle? Herättänyt valtavasti (filosofista) keskustelua Johtanut rupattelubottien syntyyn Kiistanalainen Slide 16
Luonnollisella kielellä keskustelevat järjestelmät
Luonnollisella kielellä keskustelevat järjestelmät Jussi Lepistö (jussi.lepisto@cs.helsinki.fi) Helsingin Yliopisto Tieteellisen kirjoittamisen kurssi Johdanto Esittelen luonnollisella kielellä keskustelevien
TEKOÄLY JA TIETOISET KONEET
ITU:n Kansainvälinen Telepäivä 17.5.2018 TEKOÄLY JA TIETOISET KONEET Pentti O A Haikonen, TkT JOHTAAKO TEKOÄLY KONETIETOISUUDEN SYNTYYN? TULEEKO INTERNET TIETOISEKSI? ALUSSA OLI ENIAC SÄHKÖAIVOT Ensimmäiset
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
anna minun kertoa let me tell you
anna minun kertoa let me tell you anna minun kertoa I OSA 1. Anna minun kertoa sinulle mitä oli. Tiedän että osaan. Kykenen siihen. Teen nyt niin. Minulla on oikeus. Sanani voivat olla puutteellisia mutta
Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto
Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Julian Voss, Quantum man, 2006 (City of Moses Lake, Washington, USA) Kolme näkökulmaa
Capacity Utilization
Capacity Utilization Tim Schöneberg 28th November Agenda Introduction Fixed and variable input ressources Technical capacity utilization Price based capacity utilization measure Long run and short run
JOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS KURSSIN PERUSTIEDOT VALINNAINEN AINEOPINTOTASOINEN KURSSI, 4 OP PERIODI 1: 6.9.2012-12.10.2012 (6 VIIKKOA) LUENNOT (B123, LINUS TORVALDS -AUDITORIO): TO 10-12, PE 12-14 LASKUHARJOITUKSET
ATLAS-kartan esittely - Peli palveluiden yhteiskehittämisen menetelmistä Päivi Pöyry-Lassila, Aalto-yliopisto
ATLAS-kartan esittely - Peli palveluiden yhteiskehittämisen menetelmistä Päivi Pöyry-Lassila, Aalto-yliopisto Serve Research Brunch 24.10.2013 Esityksen sisältö ATLAS-hanke lyhyesti ATLAS-kartan kehittäminen:
TYÖKALUJA SELKEÄÄN SEKSUAALITERVEYSKASVATUKSEEN TURVATAIDOT
TYÖKALUJA SELKEÄÄN SEKSUAALITERVEYSKASVATUKSEEN TURVATAIDOT Turvaympyrä i TUTUT IHMISET Sinun kehosi on tärkeä ja arvokas. Kukaan ei saa koskea siihen ilman sinun lupaa. Tärkeä tietää: Suorista käsi eteesi
NPS:n toinen huutokauppa (2 nd auction) Markkinatoimikunta 10.2.2015
NPS:n toinen huutokauppa (2 nd auction) Markkinatoimikunta 10.2.2015 Nykyinen käytäntö Mikäli ensimmäisellä kierroksella ei saada muodostettua hintaa, niin 1. muutetaan blokkitarjoukset tuntitarjouksiksi
1. Liikkuvat määreet
1. Liikkuvat määreet Väitelauseen perussanajärjestys: SPOTPA (subj. + pred. + obj. + tapa + paikka + aika) Suora sanajärjestys = subjekti on ennen predikaattia tekijä tekeminen Alasääntö 1: Liikkuvat määreet
SUOMEN SÄÄDÖSKOKOELMAN SOPIMUSSARJA ULKOVALTAIN KANSSA TEHDYT SOPIMUKSET
SUOMEN SÄÄDÖSKOKOELMAN SOPIMUSSARJA ULKOVALTAIN KANSSA TEHDYT SOPIMUKSET 2000 Julkaistu Helsingissä 20 päivänä syyskuuta 2000 N:o 55 SISÄLLYS N:o Sivu 55 Tasavallan presidentin asetus otsonikerrosta heikentäviä
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
Information on preparing Presentation
Information on preparing Presentation Seminar on big data management Lecturer: Spring 2017 20.1.2017 1 Agenda Hints and tips on giving a good presentation Watch two videos and discussion 22.1.2017 2 Goals
Opettaminen ja oppiminen
Opettaminen ja oppiminen MS-E2142 Optimointiopin seminaari: Peliteoria ja tekoäly 19.10.2016 Nina Gunell The document can be stored and made available to the public on the open internet pages of Aalto
Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto
Laskennallisen fysiikan esimerkkejä avoimesta tutkimuksesta Esa Räsänen Fysiikan laitos, Tampereen teknillinen yliopisto Julian Voss, Quantum man, 2006 (City of Moses Lake, Washington, USA) Kolme näkökulmaa
Counting quantities 1-3
Counting quantities 1-3 Lukumäärien 1 3 laskeminen 1. Rastita Tick (X) (X) the kummassa box that has laatikossa more on balls enemmän in it. palloja. X. Rastita Tick (X) (X) the kummassa box that has laatikossa
Kielen ymmärtäminen kieliteknologian näkökulmasta. Kimmo Koskenniemi täysinpalvellut kieliteknologian professori Helsingin yliopisto
Kielen ymmärtäminen kieliteknologian näkökulmasta Kimmo Koskenniemi täysinpalvellut kieliteknologian professori Helsingin yliopisto Tietää vai ymmärtää? Ymmärtää eli saada järkensä avulla itselleen selväksi,
3 9-VUOTIAIDEN LASTEN SUORIUTUMINEN BOSTONIN NIMENTÄTESTISTÄ
Puhe ja kieli, 27:4, 141 147 (2007) 3 9-VUOTIAIDEN LASTEN SUORIUTUMINEN BOSTONIN NIMENTÄTESTISTÄ Soile Loukusa, Oulun yliopisto, suomen kielen, informaatiotutkimuksen ja logopedian laitos & University
Digitaalisten pelit hyvinvoinnin edistämisessä
Digitaalisten pelit hyvinvoinnin edistämisessä Jukka Vahlo CCR / Up Your Game -pelitutkimusverkosto PELIT JA PELILLISYYS Digitaaliset pelit erotellaan viihdepeleihin sekä hyötypeleihin. Viihdepeleillä
SELL Student Games kansainvälinen opiskelijaurheilutapahtuma
SELL Student Games kansainvälinen opiskelijaurheilutapahtuma Painonnosto 13.5.2016 (kansallinen, CUP) Below in English Paikka: Nääshalli Näsijärvenkatu 8 33210 Tampere Alustava aikataulu: Punnitus 12:00-13:00
voidaan hylätä, pienempi vai suurempi kuin 1 %?
[TILTP1] TILASTOTIETEEN JOHDANTOKURSSI, Syksy 2011 http://www.uta.fi/~strale/tiltp1/index.html 30.9.2011 klo 13:07:54 HARJOITUS 5 viikko 41 Ryhmät ke 08.30 10.00 ls. C8 Leppälä to 12.15 13.45 ls. A2a Laine
Miksi Suomi on Suomi (Finnish Edition)
Miksi Suomi on Suomi (Finnish Edition) Tommi Uschanov Click here if your download doesn"t start automatically Miksi Suomi on Suomi (Finnish Edition) Tommi Uschanov Miksi Suomi on Suomi (Finnish Edition)
Rajoittamattomat kieliopit (Unrestricted Grammars)
Rajoittamattomat kieliopit (Unrestricted Grammars) Laura Pesola Laskennanteorian opintopiiri 13.2.2013 Formaalit kieliopit Sisältävät aina Säännöt (esim. A -> B C abc) Muuttujat (A, B, C, S) Aloitussymboli
Metsälamminkankaan tuulivoimapuiston osayleiskaava
VAALAN KUNTA TUULISAIMAA OY Metsälamminkankaan tuulivoimapuiston osayleiskaava Liite 3. Varjostusmallinnus FCG SUUNNITTELU JA TEKNIIKKA OY 12.5.2015 P25370 SHADOW - Main Result Assumptions for shadow calculations
Choose Finland-Helsinki Valitse Finland-Helsinki
Write down the Temporary Application ID. If you do not manage to complete the form you can continue where you stopped with this ID no. Muista Temporary Application ID. Jos et onnistu täyttää lomake loppuun
Expression of interest
Expression of interest Avoin hakemus tohtorikoulutettavaksi käytäntö Miksi? Dear Ms. Terhi virkki-hatakka I am writing to introduce myself as a volunteer who have the eagerness to study in your university.
Esimerkkejä polynomisista ja ei-polynomisista ongelmista
Esimerkkejä polynomisista ja ei-polynomisista ongelmista Ennen yleisempiä teoriatarkasteluja katsotaan joitain tyypillisiä esimerkkejä ongelmista ja niiden vaativuudesta kaikki nämä ongelmat ratkeavia
KIPINÖISTÄ TULEVAISUUDEN KESTÄVYYTTÄ
KIPINÖISTÄ TULEVAISUUDEN KESTÄVYYTTÄ S AN N A S U V AN T O - H A R S A A E * Chairman of the board Altia Oyj, BoConcept As, Babysam As, Footway AB, TCM AS. Vice chair at Paulig Oyj. Board member at SAS
Lataa 50 eläintä jotka muuttivat maailmaa - Eric Chaline. Lataa
Lataa 50 eläintä jotka muuttivat maailmaa - Eric Chaline Lataa Kirjailija: Eric Chaline ISBN: 9789522541918 Sivumäärä: 223 Formaatti: PDF Tiedoston koko: 24.82 Mb Eläimet ovat luonnollinen osa ympäröivää
lääketieteen koulutuksessa nykytila ja haasteet
Saattohoidon opetus lääketieteen koulutuksessa nykytila ja haasteet Leila Niemi-Murola dosentti, kliininen opettaja Anestesiologian ja tehohoidon klinikka HY/HYKS Esityksen sisältö Työelämässä olevat,
LANSEERAUS LÄHESTYY AIKATAULU OMINAISUUDET. Sähköinen jäsenkortti. Yksinkertainen tapa lähettää viestejä jäsenille
tiedote 2 / 9.3.2017 LANSEERAUS LÄHESTYY AIKATAULU 4.3. ebirdie-jäsenkortti esiteltiin Golfliiton 60-vuotisjuhlaseminaarissa 17.3. ebirdie tulee kaikkien ladattavaksi Golfmessuilla 17.3. klo 12:00 alkaen
JOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS PELIPUU PELIPUU -1 0 1 PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU I -ARVO(Solmu) if LOPPUTILA(Solmu) return(arvo(solmu))
Kylänetti projektin sivustojen käyttöohjeita Dokumentin versio 2.10 Historia : 1.0, 1.2, 1.6 Tero Liljamo / Deserthouse, päivitetty 25.8.
Kylänetti projektin sivustojen käyttöohjeita Dokumentin versio 2.10 Historia : 1.0, 1.2, 1.6 Tero Liljamo / Deserthouse, päivitetty 25.8.2012 Hakemisto 1. Sivustot internetissä... 2 2. Yleistä... 2 3.
Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition)
Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Esko Jalkanen Click here if your download doesn"t start automatically Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Esko Jalkanen
Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat
Ongelma(t): Mihin perustuu tietokoneiden suorituskyky ja sen jatkuva kasvu? Mitkä tekijät rajoittavat suorituskyvyn parantamista ja mitkä niistä ovat ehdottomia? 2013-2014 Lasse Lensu 2 Nykyiset tietokoneet
JOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS KURSSIN PERUSTIEDOT VALINNAINEN AINEOPINTOTASOINEN KURSSI, 5 OP PERIODI 3: 18.1.2016-6.3.2016 (7 VIIKKOA+KOE) LUENNOT (CK112): MA 14-16, TI 14-16 LASKUHARJOITUKSET: RYHMÄ
Tynnyrivaara, OX2 Tuulivoimahanke. ( Layout 9 x N131 x HH145. Rakennukset Asuinrakennus Lomarakennus 9 x N131 x HH145 Varjostus 1 h/a 8 h/a 20 h/a
, Tuulivoimahanke Layout 9 x N131 x HH145 Rakennukset Asuinrakennus Lomarakennus 9 x N131 x HH145 Varjostus 1 h/a 8 h/a 20 h/a 0 0,5 1 1,5 km 2 SHADOW - Main Result Assumptions for shadow calculations
Algoritmin määritelmä [Sipser luku 3.3]
![Algoritmin määritelmä [Sipser luku 3.3]](/thumbs/61/46007634.jpg "Algoritmin määritelmä [Sipser luku 3.3]")
Algoritmin määritelmä [Sipser luku 3.3] Mitä algoritmilla yleensä tarkoitetaan periaatteessa: yksiselitteisesti kuvattu jono (tietojenkäsittely)operaatioita, jotka voidaan toteuttaa mekaanisesti käytännössä:
SPTL:N HALLITUKSEN SÄÄNTÖMUUTOSEHDOTUKSET KAUDELLE
SPTL HALLITUKSEN SÄÄNTÖMUUTOSEHDOTUKSET KAUDELLE 2018-19 sivu 1 (5) SPTL:N HALLITUKSEN SÄÄNTÖMUUTOSEHDOTUKSET KAUDELLE 2018-19 Muutettavaksi ehdotetut kohdat kursiivilla. 1) PELIN AIKANA NEUVOMINEN 3.6.1.1
JOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS KURSSIN PERUSTIEDOT VALINNAINEN AINEOPINTOTASOINEN KURSSI, 5 OP PERIODI 1: 4.9.2014-17.10.2012 (7 VIIKKOA+KOE) LUENNOT (B123, LINUS TORVALDS -AUDITORIO): TO 10-12, PE 12-14
Tarua vai totta: sähkön vähittäismarkkina ei toimi? 11.2.2015 Satu Viljainen Professori, sähkömarkkinat
Tarua vai totta: sähkön vähittäismarkkina ei toimi? 11.2.2015 Satu Viljainen Professori, sähkömarkkinat Esityksen sisältö: 1. EU:n energiapolitiikka on se, joka ei toimi 2. Mihin perustuu väite, etteivät
Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto
Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto If you are searched for a book by Miikka Poikselkä;Harri Holma;Jukka Hongisto Voice over LTE (VoLTE) in pdf form, then you have come
TM ETRS-TM35FIN-ETRS89 WTG
SHADOW - Main Result Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please look in WTG table WindPRO version 2.8.579
TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 12. lokakuuta 2016
ja ja TIEA241 Automaatit ja kieliopit, syksy 2016 Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 12. lokakuuta 2016 Sisällys ja ja Vuosi on 1936, eikä tietokoneita ollut. Computer oli ammattinimike. http://www.nasa.gov/centers/dryden/
TM ETRS-TM35FIN-ETRS89 WTG
SHADOW - Main Result Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please look in WTG table WindPRO version 2.8.579
SEKASTRATEGIAT PELITEORIASSA
SEKASTRATEGIAT PELITEORIASSA Matti Estola 8. joulukuuta 2013 Sisältö 1 Johdanto 2 2 Ratkaistaan sukupuolten välinen taistelu sekastrategioiden avulla 5 Teksti on suomennettu kirjasta: Gibbons: A Primer
16. Allocation Models
16. Allocation Models Juha Saloheimo 17.1.27 S steemianalsin Optimointiopin seminaari - Sks 27 Content Introduction Overall Efficienc with common prices and costs Cost Efficienc S steemianalsin Revenue
Digitalisoituminen, verkottuminen ja koulutuksen tulevaisuus. Teemu Leinonen teemu.leinonen@taik.fi Medialaboratorio Taideteollinen korkeakoulu
Digitalisoituminen, verkottuminen ja koulutuksen tulevaisuus Teemu Leinonen teemu.leinonen@taik.fi Medialaboratorio Taideteollinen korkeakoulu The future is already here - it is just unevenly distributed.
Pelletizing trials Autum 2008
Pelletizing trials Autum 2008 Simo Paukkunen NKUAS simo.paukkunen@pkamk.fi Raw material Basic information Logging residues from spruce (Picea abies [L.] Karst.) dominant final cuttings, harvested in spring
Noona osana potilaan syövän hoitoa
Noona osana potilaan syövän hoitoa Noona lyhyesti Noona on mobiilipalvelu osaksi potilaan syövän hoitoa Noonan avulla Potilas osallistuu aktiivisesti hoitoonsa raportoimalla hoidon aikaisia haittoja. Hän
TM ETRS-TM35FIN-ETRS89 WTG
SHADOW - Main Result Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please look in WTG table WindPRO version 2.9.269
Chomskyn hierarkia ja yhteysherkät kieliopit
Chomskyn hierarkia ja yhteysherkät kieliopit Laskennan teorian opintopiiri Tuomas Hakoniemi 21. helmikuuta 2014 Käsittelen tässä laskennan teorian opintopiirin harjoitustyössäni muodollisten kielioppien
Kielenä ilmaisten Hilbertin kymmenes ongelma on D = { p p on polynomi, jolla on kokonaislukujuuri }
135 4.3 Algoritmeista Churchin ja Turingin formuloinnit laskennalle syntyivät Hilbertin vuonna 1900 esittämän kymmenennen ongelman seurauksena Oleellisesti Hilbert pyysi algoritmia polynomin kokonaislukujuuren
1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward.
START START SIT 1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward. This is a static exercise. SIT STAND 2. SIT STAND. The
Ajettavat luokat: SM: S1 (25 aika-ajon nopeinta)
SUPERMOTO SM 2013 OULU Lisämääräys ja ohje Oulun Moottorikerho ry ja Oulun Formula K-125ry toivottaa SuperMoto kuljettajat osallistumaan SuperMoto SM 2013 Oulu osakilpailuun. Kilpailu ajetaan karting radalla
koiran omistajille ja kasvattajille 2013 for dog owners and breeders in 2013
Irlanninsusikoiran luonnekysely A survey of the temperament of Irish wolfhounds koiran omistajille ja kasvattajille 213 for dog owners and breeders in 213 Teksti / author: Jalostustoimikunta / breeding
TM ETRS-TM35FIN-ETRS89 WTG
SHADOW - Main Result Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please look in WTG table WindPRO version 2.8.579
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 31. maaliskuuta 2011
TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho TIETOTEKNIIKAN LAITOS 31. maaliskuuta 2011 Sisällys Sisällys Chomskyn hierarkia kieli säännöllinen kontekstiton kontekstinen rekursiivisesti
M = (Q, Σ, Γ, δ, q 0, q acc, q rej )
6. LASKETTAVUUSTEORIAA Churchin Turingin teesi: Mielivaltainen (riittävän vahva) laskulaite Turingin kone. Laskettavuusteoria: Tarkastellaan mitä Turingin koneilla voi ja erityisesti mitä ei voi laskea.
TM ETRS-TM35FIN-ETRS89 WTG
VE1 SHADOW - Main Result Calculation: 8 x Nordex N131 x HH145m Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please
Henkiset kilpailut / Cultural competitions
Ilmoittautuminen Australasian Suomalaisten Liiton (ASL) Suomi-Päivien kilpailuihin Registration for Australasian Federation of Finnish Societies and Clubs (AFFSC) Finnish Festival competitions (Huom. tekstaa
REIKÄPELIN PELIOHJEET Versio 2.0
REIKÄPELIN PELIOHJEET Versio 2.0 en versiot: Versio Pvm Muuttaja / Muutos 1.0 1.5.2004 RRu / luotu 4.5.2004 RRu / Muutokset 2.0 18.5.2015 RRu / JymyGolf versio Sisälysluettelo 1 JYMYGOLF REIKÄPELI... 2
Laskennan teoria (kevät 2006) Harjoitus 3, ratkaisuja
581336 Laskennan teoria (kevät 2006) Harjoitus 3, ratkaisuja 1. S! axc X! axc X! by c Y! by c Y! " 2. (a) Tehtävänä on konstruoida rajoittamaton kielioppi, joka tuottaa kielen f0 n 1 n jn 1g. Vaihe1: alkutilanteen
Siirtymä maisteriohjelmiin tekniikan korkeakoulujen välillä Transfer to MSc programmes between engineering schools
Siirtymä maisteriohjelmiin tekniikan korkeakoulujen välillä Transfer to MSc programmes between engineering schools Akateemisten asioiden komitea Academic Affairs Committee 11 October 2016 Eija Zitting
Travel Getting Around
- Location Olen eksyksissä. Not knowing where you are Voisitko näyttää kartalta missä sen on? Asking for a specific location on a map Mistä täällä on? Asking for a specific...wc?...pankki / rahanvaihtopiste?...hotelli?...huoltoasema?...sairaala?...apteekki?...tavaratalo?...ruokakauppa?...bussipysäkki?
Ongelma(t): Voiko älykkyyden määritellä ja voiko sitä mitata, myös objektiivisesti? Onko älykkyyttä ilman (näkyvää) toimintaa? Voiko kone olla älykäs
Ongelma(t): Voiko älykkyyden määritellä ja voiko sitä mitata, myös objektiivisesti? Onko älykkyyttä ilman (näkyvää) toimintaa? Voiko kone olla älykäs ja jos voi, niin tulisiko sellainen rakentaa? 2012-2013
Kampanjan toimenpiteet 2010 Insinöörit Uusi sukupolvi Insinooriksi.fi Ingenjor.fi. Vesa Vilenius Markkinointiviestinnän suunnittelija HAMK
Kampanjan toimenpiteet 2010 Insinöörit Uusi sukupolvi Insinooriksi.fi Ingenjor.fi Vesa Vilenius Markkinointiviestinnän suunnittelija HAMK Tutkimuksessa u haastateltiin t City Cty lehden säännöllisiä 15
Peliteoria Strategiapelit ja Nashin tasapaino. Sebastian Siikavirta sebastian.siikavirta@helsinki.fi
Peliteoria Strategiapelit ja Nashin tasapaino Sebastian Siikavirta sebastian.siikavirta@helsinki.fi Helsinki 11.09.2006 Peliteoria Tomi Pasanen HELSINGIN YLIOPISTO Tietojenkäsittelytieteen laitos Sisältö
RULLARADAT RULLADAT ROLLER TABLES
ROLLER TABLES Roller tables are an important element in an assembly line, where ergonomics and good workflow must be ensured. The roller tables guarantee that the wheels can be fed forward effortlessly
Peliohje 20.4.2011 1(6)
1. Rakentaja Cup, reikäpeli 2 1.1. Yleistä reikäpelistä 2 1.2. Arvonta ja pelaajien sijoittaminen ottelukaavioon 2 1.3. Tasoitukset ja tiit 3 1.4. Pelikentät ja kustannukset 3 1.5. Tuomaritoiminta 4 1.6.
Vertaispalaute. Vertaispalaute, /9
Vertaispalaute Vertaispalaute, 18.3.2014 1/9 Mistä on kyse? opiskelijat antavat palautetta toistensa töistä palaute ei vaikuta arvosanaan (palautteen antaminen voi vaikuttaa) opiskelija on työskennellyt
WindPRO version joulu 2012 Printed/Page :47 / 1. SHADOW - Main Result
SHADOW - Main Result Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please look in WTG table WindPRO version 2.8.579
National Building Code of Finland, Part D1, Building Water Supply and Sewerage Systems, Regulations and guidelines 2007
National Building Code of Finland, Part D1, Building Water Supply and Sewerage Systems, Regulations and guidelines 2007 Chapter 2.4 Jukka Räisä 1 WATER PIPES PLACEMENT 2.4.1 Regulation Water pipe and its
1.3Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä
OULUN YLIOPISTO Tietojenkäsittelytieteiden laitos Johdatus ohjelmointiin 81122P (4 ov.) 30.5.2005 Ohjelmointikieli on Java. Tentissä saa olla materiaali mukana. Tenttitulokset julkaistaan aikaisintaan
Opiskelijoiden ajatuksia koulun alkuun liittyen / students thoughts about the beginning of their studies at KSYK
Opiskelijoiden ajatuksia koulun alkuun liittyen / students thoughts about the beginning of their studies at KSYK Helppoa/mukavaa/palkitsevaa - easy/nice/rewarding - uudet ystävät/ new friends - koulun
RANTALA SARI: Sairaanhoitajan eettisten ohjeiden tunnettavuus ja niiden käyttö hoitotyön tukena sisätautien vuodeosastolla
TURUN YLIOPISTO Hoitotieteen laitos RANTALA SARI: Sairaanhoitajan eettisten ohjeiden tunnettavuus ja niiden käyttö hoitotyön tukena sisätautien vuodeosastolla Pro gradu -tutkielma, 34 sivua, 10 liitesivua
TM ETRS-TM35FIN-ETRS89 WTG
SHADOW - Main Result Calculation: N117 x 9 x HH141 Assumptions for shadow calculations Maximum distance for influence Calculate only when more than 20 % of sun is covered by the blade Please look in WTG
AYYE 9/ HOUSING POLICY
AYYE 9/12 2.10.2012 HOUSING POLICY Mission for AYY Housing? What do we want to achieve by renting apartments? 1) How many apartments do we need? 2) What kind of apartments do we need? 3) To whom do we
Lukio.fi. Laura Simik Pääsihteeri Suomen Lukiolaisten Liitto
Lukio.fi Laura Simik Pääsihteeri Suomen Lukiolaisten Liitto Liikkeelle lähtö Ajatus1 Tavaa o n g e l m a Lukio.fi = commodore64 Sivusto yhtä aikansa elänyt ja viihdyttävä kuin otsapermis tai NKOTB Julkaisujärjestelmä
TORNA GOLF REIKÄPELIN PELIOHJEET Versio 2.0
TORNA GOLF REIKÄPELIN PELIOHJEET en versiot: Versio Pvm Muuttaja / Muutos 1.0 1.5.2004 RRu / luotu 1.1 4.5.2004 RRu / Tuomaritoimikunnan tarkastama versio 1.2 27.4.2005 RRu / Muutettu mm. tasoitustenlaskentaa
SSTY:n EMC-seminaari. EMC ja sähköisten lääkintälaitteiden standardit. Ari Honkala SESKO ry
SSTY:n EMC-seminaari EMC ja sähköisten lääkintälaitteiden standardit SESKO ry 2016-10-04 Tässä esityksessä käsitellään Yleistä täydentävistä (collateral, -1 sarja, horisontaaliset) ja eritysvaatimuksia
Horisontti 2020 mistä on kyse? Marja Nykänen 19.11.2014
Horisontti 2020 mistä on kyse? Marja Nykänen 19.11.2014 Seuraavaksi aiheena: Mikä? Puiteohjelmien kunniakas historia Miksi? Kenelle Horisontti 2020 sopii? Mitä? Horisontin hankerahoituksen filosofia ja
Makroekologiaa pedagogisella mikrolusikalla
Makroekologiaa pedagogisella mikrolusikalla Jukka Forsman Biologian laitos Mentori: Seppo Rytkönen, Biologian laitos Species diversity and coexistence - Syventävä kurssi, 3 op. - 10 2 h - Loppusuorituksena
Joustavat opinpolut aikuisopiskelijan kansainväistymiseen Päivi Puutio
Joustavat opinpolut aikuisopiskelijan kansainväistymiseen 8.11.2013 Päivi Puutio Hankkeen taustaa Selvitys tutkintotavoitteisen ammatillisen aikuiskoulutuksen kansainvälistymisen nykytilasta ja kansainvälistymisen
( ( OX2 Perkkiö. Rakennuskanta. Varjostus. 9 x N131 x HH145
OX2 9 x N131 x HH145 Rakennuskanta Asuinrakennus Lomarakennus Liike- tai julkinen rakennus Teollinen rakennus Kirkko tai kirkollinen rak. Muu rakennus Allas Varjostus 1 h/a 8 h/a 20 h/a 0 0,5 1 1,5 2 km
Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi
Matematiikan olemus Juha Oikkonen juha.oikkonen@helsinki.fi 1 Eri näkökulmia A Matematiikka välineenä B Matematiikka formaalina järjestelmänä C Matematiikka kulttuurina Matemaattinen ajattelu ja matematiikan
Lupa toimia eri tavalla. Anssi Tuulenmäki, Yli-innovaatioaktivisti
Lupa toimia eri tavalla 1.11.2011 Hub Logistics Sanomatalo 1.11.2011 Hub Logistics Sanomatalo Anssi Tuulenmäki, Yli-innovaatioaktivisti 1)Teemmekö oikeita asioita? 2)Teemmekö riittävän eri lailla oikeita
Lataa Naisen matka kiinalaiseen lääketieteeseen - Maria Juselius. Lataa
Lataa Naisen matka kiinalaiseen lääketieteeseen - Maria Juselius Lataa Kirjailija: Maria Juselius ISBN: 9789529328871 Sivumäärä: 224 Formaatti: PDF Tiedoston koko: 12.53 Mb Kiinalaisen lääketieteen näkemys
Maahanmuuttajaopiskelijan ohjaaminen. Mervi Rantanen Turun ammatti-instituutti
Maahanmuuttajaopiskelijan ohjaaminen Mervi Rantanen Turun ammatti-instituutti Kuka on maahanmuuttaja? Milloin lakkaa olemasta maahanmuuttaja? Turun ammatti-instituuttiin tulevat maahanmuuttajaopiskelijat
Hyvä ja paha pelillistäminen
Hyvä ja paha pelillistäminen Kalle Huhtala, kehitysjohtaja @Kalle_Huhtala #pelillistäminen #gamification #vvop2014 A NORDIC MORNING COMPANY Hyvässä hypessä Big Data Sosiaalinen media työelämässä Gamification/
ICS-C2000 Tietojenkäsittelyteoria Kevät 2016
ICS-C2000 Tietojenkäsittelyteoria Kevät 206 Kierros 0, 2. 24. maaliskuuta Huom! Perjantaina 25. maaliskuuta ei ole laskareita (pitkäperjantai), käykää vapaasti valitsemassanne ryhmässä aiemmin viikolla.
Reaaliaikainen yli 2 pelaajan moninpeli mobiilille!
Reaaliaikainen yli 2 pelaajan moninpeli mobiilille! Mobiilipelaajat haluavat pelata toisia ihmisiä vastaan tai heidän kanssaan Kuten mm. nämä moninpelattavat menestyspelit osoittavat Clash of Clans Supercell
You can check above like this: Start->Control Panel->Programs->find if Microsoft Lync or Microsoft Lync Attendeed is listed
Online Meeting Guest Online Meeting for Guest Participant Lync Attendee Installation Online kokous vierailevalle osallistujalle Lync Attendee Asennus www.ruukki.com Overview Before you can join to Ruukki
Board Game Lab. 7 Pelimekaniikat ja -systeemit. Materiaalit CC-BY 4.0 Mikko Lampi
Board Game Lab 7 Pelimekaniikat ja -systeemit Materiaalit CC-BY 4.0 Mikko Lampi Sisältö Alustus 1. Mekaniikat ja niiden tehtävät 2. Miten valitsen tai suunnittelen mekaniikkoja? 3. Pelimekaniikat ja -systeemit
Information on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku Centre for Language and Communication Studies
Information on Finnish Courses Autumn Semester 2017 Jenni Laine & Päivi Paukku 24.8.2017 Centre for Language and Communication Studies Puhutko suomea? -Hei! -Hei hei! -Moi! -Moi moi! -Terve! -Terve terve!
JOHDATUS TEKOÄLYYN TEEMU ROOS
JOHDATUS TEKOÄLYYN TEEMU ROOS PELIPUU -1 0 1 PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU PELIPUU I -ARVO(Solmu) if LOPPUTILA(Solmu) return(arvo(solmu))!
Attitude 2012. Pirkanmaan tulokset
Attitude 2012 Pirkanmaan tulokset Kyselyn taustaa Kohderyhmänä toisen asteen toisen vuosikurssin opiskelijat Vastaajia yhteensä 379 12 lukiosta ja ammatillisesta oppilaitoksesta Tampereen kaupunkiseudulta
Sukutilan 110 -vuotissuunnitelma. Tuomas Mattila Kilpiän tila Osuuskunta Luonnonkoneisto
Sukutilan 110 -vuotissuunnitelma Tuomas Mattila Kilpiän tila Osuuskunta Luonnonkoneisto Lyhyt tilaesittely: Kilpiän tila Itsenäinen tutkimus- ja opetustila Lohjalla 75 ha peltoa 130 ha metsää Harjumaisemia