Tietojenkäsittelytieteen opetuksen ja tutkimuksen linkkejä

Linkin esittelyn perässä oleva [ päiväys ] kertoo milloin linkin toimivuus on viimeksi tarkastettu.

Sisällysluettelo

1. Tietojenkäsittelyn tutkimus
   1. Yleistä
   2. Erityisaiheita
2. Tietojenkäsittelyn opetus ja -opiskelu
   1. Yleensä
   2. Jatkotutkintotasolla
   3. Perustutkintotasolla
3. Tietojenkäsittelyteorian kannalta kiinnostavia standardeja yms.
4. Tietojenkäsittelyalan järjestöt, etiikka yms.
5. Suomalaisia tietojenkäsittelyn laitoksia yms.
6. Tietojenkäsittelyn kustantajia yms.
7. Kiitokset avustajille

1 Tietojenkäsittelyn tutkimus

1.1 Yleistä

• The ACM Computing Classification System Tietojenkäsittelyalan julkaisujen eniten käytetyn luokittelujärjestelmän kattava kuvaus. [ 8.9.2000 ]
• The Collection of Computer Science Bibliographies Laaja tietojenkäsittelyalan julkaisuviitetietokanta. Hajanainen (sisältää tietoja sekä arvovaltaisista kansainvälisistä julkaisupaikoista että paikallisista laitosraporttisarjoista) eikä aivan ajan tasalla, mutta silti hyvin hyödyllinen, jos muistaa sen rajoitukset. [ 8.9.2000 ]
• Computer Science Bibliography Kulki ennen otsikolla "Databases and Logic Programming (DBLP)", mutta nyt nimikkeenä on jo "Computer Science Bibliography". Tavanomaisten hakutoimintojen lisäksi siellä on mm. monien lehtien ja konferenssijulkaisujen täydelliset sisällysluettelot. Ja haku kertoo jokaisen julkaisun vain kerran, toisin kuin "The Collection". [ 6.10.2000 ]
• FOLDOC, Free On-Line Dictionary of Computing Ei vaikuttanut kovin täydelliseltä. (Aiempi osoite, pitäisi viedä samaan paikkaan.) [ 14.12.2000 ]
• The Hypertext Bibliography Project Sisällysluettelot ja niistä muodostettavia tietoja monista lehdistä ja joistakin konferenssisarjoista. Myös tiivistelmiä. Kustantajista riippumaton. [ 8.12.2000 ]
• ResearchIndex, The NECI Scientific Literature Digital Library Nimestään huolimatta on keskittynyt tietojenkäsittelyalan kirjallisuuteen. Tukkoinen. Vaikea arvioida, kuinka laadukas. Ainakin sen 10 000 eniten viitatun tietojenkäsittelijän luettelo sisälsi syyskuussa 2000 sellaisia kuuluisuuksia kuin H. Fortran, C. Concurrency, C. Intractability, C. Principles ja T. Clocks sekä lukuisia "On", "Inc", "Jr.", ja "Das" ja jopa "Log" -nimisiä henkilöitä. Suosittelen lukemaan Pari sanaa ResearchIndex viittaustietokannan luotettavuudesta ennen käyttöä. (Siellä on lisää hauskoja tutkijoita!) [ 3.10.2000 ]
• Hypatia A directory of research workers in Computer Science and Pure Mathematics and a library of their papers. [ 4.10.2000 ]
• Suomalainen tiede noussut maailman kärkikastiin, Suomen Akatemian tiedote 4.10.2000: Valitse Akatemian Uutistori ja klikkaa nimen mukaista linkkiä. Akatemian sivuston rakenteen vuoksi en yritäkään antaa suoraa linkkiä. Koko raportti, suomenkielinen versio löytyy hyvässä lykyssä täältä. [ 6.10.2000 ]
• Comp.Theory FAQ Pieni ja huonosti kattava, mutta saattaa silti olla joskus hyödyksi. Lopussa hyödyllisen näköinen linkkilista. [ 8.9.2000 ]
• Virtuaalikirjasto Virtuaalikirjastoja monilta tieteenaloilta, myös tietojenkäsittelystä. Kehitetty suomalaisten yliopisto- ym. kirjastojen yhteishankkeessa. [ 4.10.2000 ]

1.2 Erityisaiheita

• Challenges for Theoretical Computer Science: DRAFT Toukokuussa 2000 pidetyn workshopin pohjalta tehty. [ 25.9.2002 ]
• Vaativuusteoria
  • The Complexity Zoo Scott Aaronsonin Vaativuusluokkien luettelo. [ 5.8.2002 ]
  • Electronic Colloquium on Computational Complexity Research reports, surveys and books in computational complexity. [ 4.10.2000 ]
  • The P versus NP Problem Clay Mathematics Institute miljoonan dollarin kilpailun esittelysivu. Sisältää linkit Popular Article authored by Ian Stewart ja Mathematical Description authored by Stephen Cook (S. Cook on NP-täydellisyyden keksijä).
• Formal Methods Kansainvälinen kotisivu. [ 4.10.2000 ]
• Formal Methods Europe Finnish National Pages Tätä ei liene kukaan ylläpitänyt v. 1997 jälkeen. [ 4.10.2000 ]
• LOTOS Twenten yliopistossa Hollannissa. Ollut "under construction" v. 1995 asti. [ 4.10.2000 ]
  • LOTOS link collection Helsingin yliopistossa. [ 4.10.2000 ]
• Petri Nets, Home of at DAIMI Århus, Tanska. Hyvin hoidettu. [ 4.10.2000 ]
  • Petri Nets Bibliography Hampuri, kirjoittajan mukaisessa järjestyksessä. [ 4.10.2000 ]
• Survey on Verification and Validation Approaches in PLC-Programming Tekijät Georg Frey & Lothar Litz, University of Kaiserslautern. "PLC" tarkoittanee "ohjelmoitava logiikkaohjain". Sisältää myös yleistä V & V -asiaa, ja näyttää sisältävän myös väärinkäsityksiä (menetelmien luokittelussa jako R- ja M-ryhmiin).
• Theory On The Web Paljon konferenssi-, historia yms. tietoa teoreettisesta tietojenkäsittelystä. [ 4.10.2000 ]
• G. J. Chaitin:in kotisivu --- hän on Kolmogorov-kompleksisuuden eli algoritmisen informaatioteorian uranuurtaja, ja sivulla on paljon hänen yleistajuisia esitelmiään yms. [ 11.10.2000 ]
• Kolmogorov-kompleksisuus
  • Alan huippujen julkisiksi tarkoitettuja kotisivuja. Kummassakin on paljon laadukasta materiaalia tarjolla: Paul M.B. Vitanyi Ming Li
  • Mitä on Kolmogorov-kompleksisuus? Lyhyt kirjoitelmani. [ 5.1.2001 ]
• Embedded and Real-Time Systems Laaja linkkikokoelma [ 6.10.2000 ]
• Vetämäni Verifiointialgoritmien tutkimusryhmän kotisivu. (Ehkä tämän listan ylläpitäjänä saan mainostaa ryhmäni kotisivua täällä, vaikka kaikkien tutkimusryhmien kotisivut eivät listalle mahdu.) [ 11.10.2000 ]

2 Tietojenkäsittelyn opetus ja -opiskelu

2.1 Yleensä

• KOTA-tietokanta Opetusministeriön ylläpitämä KOTA OnLine-palvelu tarjoaa yliopistoittaisia ja koulutusaloittaisia tilastotietoja vuodesta 1981 alkaen. [ 4.10.2000 ]
• Open Directory Project linkkikokoelmia
  • Tietojenkäsittelytieteet Tietojenkäsittelytieteet suomeksi [ 25.9.2002 ]
  • Computer Science Tietojenkäsittelytieteet englanniksi [ 25.9.2002 ]
• Tietojenkäsittelyn opetusmateriaaliyhteistyö yliopistojen välillä Suomessa käytävän keskustelun pohjaksi Tietojenkäsittelytieteen seuran nimissä kirjoittamani muistio. [ 15.11.2000 ]
• Näkökohtia kurssipalautejärjestelmästä TTKK:n omaan käyttöön tarkoitettu kirjoitelmani 20.1.2000, jonka sittemmin muokkasin tänne pantavaksi. [ 15.11.2000 ]
• Arviointia Jyväskylän yliopistossa Osassa Jyväskylän yliopistoa käytössä oleva arviontijärjestelmä. [ 16.11.2000 ]
• Kun ohjelmistotuotanto ei riitä Kirjoitelmani, joka on julkaistu Tietojenkäsittelytiede, kesäkuu 2000, ss. 10-14. [ 8.11.2000 ]

2.2 Jatkotutkintotasolla

• How to Be a Good Graduate Student [ 4.10.2000 ]
• Ian Parberry's TCS Guides Mm. ohje artikkelin arvioijalle ja ohje konferenssiesitelmän pitäjälle. [ 4.10.2000 ]
• Julkaisujen hyväksymismenettelyt tietojenkäsittelytieteen alalla Uusille tutkijoille ja muille kiinnostuneille tarkoitettu johdanto tieteellisen julkaisemisen saloihin. Ei sisällä varsinaisia kirjoitusohjeita, vaan muuta hyödyllistä tietoa. [ 29.6.2000 ]
• Timo's Reviews of Research and Doctoral Dissertation Advice Guides Huomautuksin varustettu luettelo väitöskirjan teko- yms. oppaista. Painottunut liiketaloustieteeseen, mutta sisältää myös yleisluontoisia tai muunlaisesta oppiainetaustasta nousevia oppaita. [ 22.11.2000 ]

2.3 Perustutkintotasolla

• "Computing Curricula 2001" on IEEE:n ja ACM:n työryhmän harkittu ja laajapohjainen näkemys siitä, mitä asioita pitäisi tietojenkäsittely-, ohjelmointi- tai tietotekniikkatutkinnossa olla, ja miksi. Erityisesti perustelut ovat mielenkiintoisia. [ 20.3.2001 ]
  • Pääsivu
  • Helmikuun 2001 luonnos
  • Maaliskuun 2000 luonnos
• Results of the 1998 Computer Science and Software Engineering Education Relevance Survey Tulokset kyselytutkimuksesta, jolla selvitettiin 75 eri aiheen kohdalta, kuinka hyvin ne on opetettu yliopistossa tms.; kuinka paljon osaamistaso on muuttunut työuran aikana (lisäoppiminen ja unohtaminen); ja kuinka tärkeä ko. aihe on. Vastaajina olivat ohjelmoinnin ja systeeminsuunnittelun ammattilaiset. Näytekoko oli aika pieni, mutta tutkimus vaikutti muuten hyvin tehdyltä. Tuloksissa oli selviä mielenkiintoisia havaintoja ali- ja yliopetetuista asioista. [ 8.9.2000 ]
• Matematiikan tarve ohjelmistotyössä Julkaistu lehdessä Arkhimedes 2/2001 ss. 18--22.
• Tietotekniikan alan koulutusohjelmien arviointi 1999 Korkeakoulujen arviointineuvoston julkaisu 8:2000. Hyödyllinen on myös Helsingin yliopiston oma samaan arviointiin liittyvä sivu Tietoteollisuuden alan koulutusohjelmien arviointi 1999. [ 8.11.2000 ]

3 Tietojenkäsittelyteorian kannalta kiinnostavia standardeja yms.

• A Summary of the ISO EBNF Notation (ISO 14977) [ 4.10.2000 ]
• A tutorial on character code issues Jukka Korpelan todella laaja kirjoitus merkistöasioista. [ 20.8.2001 ]
• ISO 8859-1:
  • http://guagua.echo.lu/oii/en/chars.html#ISO8859 [ ei toiminut 8.11.2000 ]
  • The ISO 8859 Alphabet Soup, ISO-8859-1 (Latin1) Osa Roman Czyborra:n monipuolista merkkisivustoa. [ 4.10.2000 ]
• US ASCII, or ISO 646:
  • http://guagua.echo.lu/oii/en/chars.html#ISO646 [ ei toiminut 8.11.2000 ]
  • Good ole' ASCII Osa Roman Czyborra:n monipuolista merkkisivustoa. [ 4.10.2000 ]
• Aakkostus Suomessa, Standardin SFS 4600 lyhyt selitys ja kommentaari Jukka Korpelan lyhyt asiantunteva kirjoitus, joka tuo esiin, kuinka monimutkaista standardinmukainen aakkostus on. [ 20.8.2001 ]
• The IEEE standard for floating point arithmetic As presented by Pittsburgh Supercomputing Center. [ 4.10.2000 ]
• A Summary of the International Standard Date and Time Notation (ISO 8601) [ 4.10.2000 ]
  • ISO 8601, the date and time representation standard Jukka Korpelan kirjoitus samasta aiheesta. [ 20.8.2001 ]
  • A Few Facts Concerning GMT, UT, and the RGO Tietoa UTC-ajasta ja sen suhteesta GMT-aikaan (Greenwich mean time) [ 4.10.2000 ]
  • Open Directory Project ISO 8601 Runsaasti ajan esittämiseen liittyviä linkkejä [ 25.9.2002 ]
• Tietotekniikan sanasto englanti - suomi [ 20.8.2001 ]
• Standardi, mikä se on? Jukka Korpelan johdatus standardien maailmaan. [ 20.8.2001 ]
• Sopimusopas yliopistoille, Oulun yliopiston tutkimus- ja innovaatiopalvelut (Valitse "Sopimusopas") [ 24.4.2001 ]

4 Tietojenkäsittelyalan järjestöt, etiikka yms.

• Tietotekniikan liitto ry Suomalainen kattojärjestö. IFIP:n jäsenjärjestö. Sen julkaisemat eettiset säännöt. [ 11.10.2000 ]
• Suomen Tietojenkäsittelytieteen Seura ry Suomalainen alan tutkijoiden ja yliopistoväen seura, Tietotekniikan liiton jäsenjärjestö. [ 4.10.2000 ]

• Association for Computing Machinery (eli ACM) Amerikkalainen mutta käytännössä kansainvälinen ammatillinen seura, IEEE Computer Society:n kanssa alan tärkein. [ 4.10.2000 ]
  • ACM palkinnot [ 25.9.2002 ]
  • Turing Award [ 25.9.2002 ]
  • The ACM Computing Classification System [ 4.10.2000 ]
  • Computing Curricula 2001 [ 4.10.2000 ]
• IEEE Computer society Amerikkalainen mutta käytännössä kansainvälinen ammatillinen seura, ACM:n kanssa alan tärkein, Institute of Electrical & Electronics Engineers (eli IEEE) -järjestön jäsenjärjestö. [ 4.10.2000 ]
• International Federation for Information Processing (eli IFIP) IFIP is a non-governmental, non-profit umbrella organization for national societies working in the field of information processing. [ 4.10.2000 ]
• European Association for Theoretical Computer Science (eli EATCS) [ 25.9.2002 ]
  • The Hyper Bulletin of the EATCS [ 25.9.2002 ]
  • Gödel Prize [ 25.9.2002 ]
• Formal Methods Europe [ 4.10.2000 ]
• IEEE:n ja ACM:n ylläpitämät eettiset säännöt [ 4.10.2000 ]

5 Suomalaisia tietojenkäsittelyn laitoksia yms.

• Suomen Akatemia [ 4.10.2000 ]
• TEKES [ 4.10.2000 ]
• Opetusministeriö [ 4.10.2000 ]
• Korkeakoulujen arviointineuvosto [ 8.11.2000 ]

• Helsingin yliopisto Tietojenkäsittelytieteen laitos [ 6.10.2000 ]
• Joensuun yliopisto Tietojenkäsittelytieteen laitos [ 11.10.2000 ]
• Jyväskylän yliopisto Informaatioteknologian tiedekunta [ 11.10.2000 ]
• Kuopion yliopisto Tietojenkäsittelytieteen ja sovelletun matematiikan laitos [ 11.10.2000 ]
• Lappeenrannan teknillinen korkeakoulu Tietotekniikan osasto [ 11.10.2000 ]
• Oulun yliopisto Tietojenkäsittelytieteiden laitos ja Sähkötekniikan osasto [ 11.10.2000 ]
• Tampereen teknillinen korkeakoulu Tietotekniikan osasto Ohjelmistotekniikan laitos [ 4.10.2000 ]
• Tampereen yliopisto Informaatiotieteiden tiedekunta Tietojenkäsittelytieteiden laitos [ 22.4.2002 ]
• Teknillinen korkeakoulu (se Espoossa sijaitseva) Tietotekniikan osasto Tietojenkäsittelyopin laboratorio ja Tietojenkäsittelyteorian laboratorio [ 11.10.2000 ]
• Turku Centre for Computer Science (TUCS) [ 4.10.2000 ]
• Vaasan yliopisto Informaatioteknologian tiedekunta Tietotekniikan laitos [ 22.4.2002 ]

• Research Assessment Exercise 1999 Helsingin yliopiston itsearvionnin raportti. Arvioinnissa käytettiin kansainvälisiä asiantuntijoita. [ 8.11.2000 ]

6 Tietojenkäsittelyn kustantajia yms.

• Elsevier [ 4.10.2000 ]
• Kluwer [ 4.10.2000 ]
  • Formal Methods in System Design [ 4.10.2000 ]
• SIAM Journals [ 4.10.2000 ]
• Springer [ 4.10.2000 ]
  • LNCS [ 4.10.2000 ]
  • Information for Authors [ 4.10.2000 ]

7 Kiitokset avustajille

Tämän linkkikokoelman keräämisessä ovat aktiivisesti tai passiivisesti^* auttaneet ainakin Tero Ahtee, Ian Galpin, Jyke Jokinen, Jukka Korpela, Pirjo Kuhanen, Pertti Lehtinen, Johan Lilius, Greger Lindén, Taneli Mielikäinen, Petri net mailing list, Markku Sakkinen ja Timo Salmi (toivottavasti en unohtanut ketään). Otan mielelläni vastaan lisää linkkivihjeitä.

*: Passiivisella auttamisella tarkoitan mm. sitä, että avustaja julkaisi linkkivihjeen uutisissa, mistä poimin sen. Kun avustaja on Suomesta, olen yleensä varmistanut, että linkin saa panna listaan. Säädökset eivät tiettävästi sitä vaadi [ 20.8.2001 ], mutta aineiston laatija luultavasti on kiinnostunut tietämään asiasta.

Tätä sivua säilytetään osoitteessa http://www.cs.tut.fi/~ava/linkkeja.html. Kommentit Antti Valmari, ava@cs.tut.fi. Sivu päivitetty 20.8.2001.