Saturday, January 20, 2007

Jak kupovat zahraniční literaturu v Česku

Nákup zahraniční literatury z Česka, předně v anglickém ale i v německém jazyce, je stručně shrnut v následujícím, na základě mé zkušenosti.
  • Přes Amazon.de:
    • Poštovné a balné do Česka činí v lednu 2007 jen 6 €, to je při 28 Kč/€ asi 170 Kč. Stává se neškodným při odběru více knih.
    • K dostání je většina anglické literatury dostupné na amazon.com.
    • Platba
      • Předně: Debetní kartou české banky s aktivovanými platbami přes internet.
        • Aktivaci je třeba výslovně v bance provést, alespoň v případě České spořitelny.
        • Vyzkoušenu mám platbu z České spořitelny
      • Z německého konta, ať již vašeho či konta vašeho známého.
        • Mám vyzkoušeno.
      • Kreditní kartou české banky.
        • Nemám vyzkoušeno.
    • Doba doručení: týden až dva týdny ode dne objednání.
      • Případ:
        • Datum objednání: 22. února 2007
        • Datum odeslání z Německa: 2. března 2007
        • Datum doručení do Česka: 7. března 2007
        • Uplynulo: 14 dní
      • Případ:
        • Datum objednání: 30. května 2007
        • Datum odeslání z Německa: 31. května 2007
        • Datum doručení do Česka: 6. května 2007
        • Uplynulo: 8 dní
    • Omezení: Z Česka nelze objednat ty knihy, které jsou nabízeny přes Amazon market place.
      • Knihy prodává ne přímo Amazon, nýbrž jeho partneři.
      • O omezení se dozvíte při pokusu o objednávku.
  • Přes Amazon.com a Amazon.co.uk:
    • Nemám zkušenost.
  • V Českých kamenných a internetových knihkupectvích:
    • K dostání je krajně omezený výběr; platí to konkrétně o internetovém obchodě Vlatava.cz.
(Klíčové výrazy: Jak kupovat cizojazyčnou literaturu, cizojazyčná literatura, zahraniční knihy, cizojazyčné knihy, nákup cizojazyčné literatury, akvizice cizojazyčné literatury, kupování cizolazyčné literatury, nákup zahraničních knih, nákup cizojazyčných knih, jak kupovat zahraniční knížky.)

Labels:

Tuesday, January 31, 2006

Chordpack

I have created a Perl program Chordpack for typesetting of songs with guitar chords using program for creation of electronic documents LaTeX. Chordpack is hosted at Google sites. I would not write it in Perl programming language any more. Beware that Chordpack is useful only for technically minded users. Users of Chordpack do not shy away from such tedious tasks as installing LaTeX on their computers.

Download
License
  • GNU GPL

Labels:

Songbooks

I have created some free songbooks with guitar chords in pdf, available for download here. One of them is songbook Beatles Complete set for A4 paper format, also available in US Letter (8.5 x 11) format. Another one is songbook of Czech musician Vlasta Redl (also availablee in postscript), also available in a version for creating booklets (and the same in postscript).

PDF downloads
See also

Labels:

Alfred - Model Checker

(Read further only if you are a theoretical computer scientist.) I have implemented model checker Alfred as part of my master thesis. The model checker decides the validity of formulas of alternation free modal mu-calculus for push down systems, and push down automata. The model checker implements the algorithm described in article Reachability Analysis of Pushdown Automata: Application to Model-Checking. Modal Mu-calculus is a temporal logic with fixed point operators, of branching time, as opposed to a linear-time logic like LTL.

For a pdf file with the text of the master thesis and for the source code of the model checker, see http://sites.google.com/site/danpolansky/alfred. See also Model checking at Wikipedia.

Labels:

Tuesday, January 10, 2006

Jak pracovat s blogem a co se s ním dá dělat

Co následuje je starý článek, jejž dnes nemohu bez dalšího podepsat. Jako osobní portál sice blog užít lze, však jen s přimhouřením oka. Nalezení lepšího nástroje chybí; na mysl mi příchází portál založený na wiki. Vadí mi předně, že v URL článku blogu na bloggeru je datum vytvoření článku. Blog na rozdíl od wiki neumí historii změn. Navigace blogu je přizpůsobena myšlence portálu novin, nikoliv myšlence stabilních článků, jež je třeba postupně vylepšovat a rozšiřovat.

Použití Blogu Příspěvky lze editovat včetně data a kategorie. Lze je smazat. Blog lze tak použít jako osobní portál. Nelze přímo vkládat obrázky. Kategorie zadávají pouze plochou strukturu, nikoliv hieararchickou. Hierarchickou strukturu lze simulovat pomocí vhodných názvů kategorií, například Programovací jazyky a Programovací jazyky > Java. Takové kategorie jsou díky abecednímu třídění blízko u sebe. Ač je blog navržen pro tvorbu záznamů s časovou strukturou, lze ho použít i jinak.

Editování bohatého textu Je možné použít editor bohatého textu, který vytváří snesitelný kód HTML, a je co-vidíte-to-dostanete. Editor umí snadno nastavit barvu písma. V jiné záložce lze editovat přímo HTML kód, či ho přímo vložit. Editor neumí tabulky. Tabulky lze však vytvořit nejprve v Microsoft Wordu, a následně vložit do blogu pomocí copy-and-paste.

HTML editor neumožňuje editování hlavičkových stylů; ty třeba zadat v HTML kódu. To není vhodné, pokud chcete napsat článek obsahující oddíly. Možná ale ani hlavičky nepotřebujete, neboť místo nich mohu použít styl uvádějící odstavce tučným obsahem odstavce.

Rizika používání blogu V první řadě si může každý přečíst co píšete, takže si musíte dávat pozor na jazyk. Tím ale vznikají vhodné komunikační návyky. S tím souvisí nebezpečí, že třetí strany odhalí obrazec vašeho myšlení a stanete se pro ně předvídatelní. Další věc je možná ztráta v blogu vytvořených textů v případě, že by provozovatel blogového systému technicky selhal. To je krajně nepravděpodobné; provozovatel je Google a dělá pravidelné zálohy. Kromě toho má stránky nakešované Google, takže je velká šance, že by alespoň část informace šlo obnovit tímto způsobem. Krajním řešením v případě obav by bylo pravidelné vlastní zálohování pomocí wgetu. Závěr: žádná podstatná rizika nebyla odhlena.

Přístupnost pro netechnickou populaci Blogy se vyznačují velmi nízkými náklady na zveřejňování myšlenek, především pro netechnickou populaci. V principu je navíc k dispozici anonymní zveřejňování, stačí si zaregistrovat poštovní adresu v jejímž jméně není odkaz na skutečného vlastníka, a okamžitě získáte i odpovídající blog, který mohu pojmenovat jakkoliv.

Jiná věc je, že se bloggeři vyžívají v kopírování částí pavučiny do svých blogů, místo aby si udělali vlastní myšlenky. Oblíbené jsou také citáty a vůbec všechno, k čemu není potřeba vůbec žádná duševní námaha.

Blog jako znalostní báze, s příspěvky a opravami od ostatních Další zajímavá vlastnost blogu jsou komentáře. Ač na rozdíl od wiki nemají ostatní uživatelé možnost texty měnit, mohou posílat komentáře. Pokud pošlou takto uživatelé kritiku textu, neboli zprávu o chybě, autor textu může chybu odstranit nebo na námitku výslovně v textu reagovat. Uživatelé mohou posílat pomocí komentářů celé nové odstavce, které může majitel blogu zkopírovat dovnitř článku a případně upravit. Blog tak může fungovat stejně dobře, jako třeba dokumentace PHP, která umožňuje uživatelům posílat komentáře.

Celková aktivita vývoje blogu pak může vykazovat stejné obrazce jako vývoj volného softwaru - hlavní programátor přidává velké změny a vyvíjí nové funkce, zatímco drobní přispěvatelé opravují chybky a přidávají drobná vylepšení.

Zda je pro tento případ použití blog vhodnější než wiki je diskutabilní. Oproti většině wiki motorků se blog může pochlubit bohatým viditelným formátováním.

Zpožděná publikace článků Je možné vytvořit příspěvek, jehož datum publikace leží v budoucnosti. Tento příspěvek není veřejnosti přístupný dokud nenastane datum publikace.

Prohledávání V horní části blogu je pole a tlačítko umožňující prohledávání blogu pomocí Googlova vyhledávacího stroje.

Profesionální vzhled a výměna vzhledu Vzhled blogu je určen nikoliv pevně v textech článků, nýbrž pomocí kaskádových stylů. Kaskádový styl blogu lze snadno vyměnit na základě nabídky poskytované blogovým strojem, bez znalosti podkládající techniky kaskádových stylů. V případě bloggeru jsou styly profesionálně vyladěné, šetřící práci blogaře. Pokud chce blogař přesto mít libovolně přizpůsobený vzhled, může ho vytvořit z nuly nebo úpravou profesionálně vyladěného stylu nabízeného bloggerem.

Labels:

Monday, July 11, 2005

Using Mediawiki

What follows are personal notes on using MediaWiki.

Backing up Content


To back up content of MediaWiki, run the following [1].
php maintenance\dumpBackup.php --full > full.xml
Alternatively, run mysqldump as follows [2].
mysqldump -u user -p password -B wiki-database-name > wikidb.sql

Installing MediaWiki on SourceForge

See one of the following links.
See also

Labels:

Friday, June 03, 2005

Studijní materiály pro Fakultu Informatiky Masarykovy Univerzity na Webu

Následují odkazy na studijní materiály pro Fakultu informatiky Masarykovy univerzity.
Zadání písemek psaných na Fakulatě informatiky

Následuje několik zadání písemných testů proběhlých na Fakultě informatiky Masarykovy univerzity. Zadání dobře ukazují, co se v předmětech skrývá a které otázky je třeba si klást. Následující tabulka obsahuje odkazy na Pdf obsahující zadání pro jednotlivé předměty, a dále na zdrojové soubory v LaTeXu a případně na soubory Xfigu.
Matematická logika TeX
Algebra II TeX
Fuzzy množiny TeXXFig
Komunikace a paralelismus TeX
Geometrické algoritmy I TeX
Logické programování I TeX
Státnice 2000 TeX
Matematická analýza TeX
Grafové algoritmy TeX
Teorie her TeX
Vyčíslitelnost II TeX
Překladače TeX

Materiály poskytované učiteli Fakulty informatiky

(Klíčová slova: FI, MUNI, Faculty of Informatics, Masaryk University)

Labels:

What e-mail name conventions are used

This is a small overview of what e-mail name patterns I have encountered and which I find preferable. Let us assume that my name is Thomas Kuhn and my postal address is structure.com.

The most prevalent pattern or convention is thomas.kuhn@structure.com, this is my favorite. Other patters are tkuhn@structure.com and ThomasKuhn@structure.com. Also, note that Thomas.Kuhn@structure.com is not really different from the first one, because capital letters do not matter in e-mail names.

Another option would be tom.kuhn@structure.com.

Labels:

SourceForge is highly helpful in developing free applications

SourceForge is a web site for managing open source application. What strikes me most about it is the transparency it brings including the statistics. You can see how many downloads and page views the project has and had, together with all the history of activity, that all compared to other projects. You can see what kind of applications are found useful by users, and you can estimate the cash contribution your project is making on the global scale, thus controlling at least a bit if the activity of development is economical in terms of value.

Unlike commercial projects, free projects have hard time measuring the contribution and efficiency of consumed resources like time and concentration of their developers. Some economic mathematical model should be developed to enable estimation of contribution of such projects, provided that their developers want to create value rather than just have a good time, the two not being necessarily at cross-purposes.

Labels:

Saturday, January 29, 2005

Duenix - game for Amiga computers

In years 1994-1998, I have created a multiplayer game Duenix for Amiga computers, featuring six worms drawing lines with holes, and trying to kill each other. The web page of the game including screenshots follows.

Download

Get from Aminet the following.

Hardware requirements

Duenix runs on a plain Amiga 1200, and should work on Amiga 500 too. To run Duenix from diskette, copy the contents of archive Duenix.Lha to an empty diskette, and boot from the diskette.

Copy conditions

Duenix is free. Though, you are asked for a donation. A donation is not required.

Game description

From 2 to 6 players drive their worms on the gameplan, each trying to survive longer then the others. A worm dies when it hits the curve drawn by another player. When there is only one player left, a round is finished. The curve drawn by the worms contains spaces so that longer game is possible.

There are lots of great options like bouncing from borders, teleporting, wind, scrolling screen and many others.

Most important features

  • Computer driven players: Any number of players may be driven.
  • Different playing backgrounds (7 predefined, other may be imported)
  • Body exchange: After some period players randomly exchange their bodies. As a result, strategy of cutting as much space for a worm as possible and then driving in that isolated area does not win any more. If there is an opponent alive, no one is sure he will not appear in opponent's situation at next moment. This feature encourages attack.
  • Nice graphics, though not professional (it is OCS graphics)
  • Each player has different number of lives. This allows setting game fair for players with different skills. This feature is especially good in combination with computer driven worms.

Screenshots


See also

Labels: