-
Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: " " <k...@g...pl>
Newsgroups: pl.comp.programming
Subject: Re: Test porównawczy języków programowania
Date: Fri, 7 Jan 2011 22:56:43 +0000 (UTC)
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 88
Message-ID: <ig85nb$1j4$1@inews.gazeta.pl>
References: <1...@3...googlegroups.com>
<o...@4...com>
<1...@i...googlegroups.com>
<n...@4...com>
<ig760o$nni$1@inews.gazeta.pl>
<7...@4...com>
<ig7d96$gln$1@inews.gazeta.pl>
<9...@4...com>
<ig7i48$1mm$1@inews.gazeta.pl>
<k...@4...com>
NNTP-Posting-Host: localhost
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1294441003 1636 172.20.26.245 (7 Jan 2011 22:56:43 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Fri, 7 Jan 2011 22:56:43 +0000 (UTC)
X-User: krwawy_krolik
X-Forwarded-For: 84.93.179.112
X-Remote-IP: localhost
Xref: news-archive.icm.edu.pl pl.comp.programming:187953
[ ukryj nagłówki ]A.L. <l...@a...com> napisał(a):
> On Fri, 7 Jan 2011 17:22:16 +0000 (UTC), " "
> <k...@g...pl> wrote:
>
> >
> >Problem polega na tym, że przy pisaniu takiego oprogramowania o jakim
> >wspomniałem, żeby programista był w stanie zaimplementować model poprawnie,
> >musi (z uwagi na stopień skomplikowania materii poza-CS) dostać tak dokładną
> >specyfikację, że w praktyce będzie ona implementacją modelu w pseudokodzie. To
> >już łatwiej wszystkim nauczyć tego modelarza C++ czy Javy. Ewentualne problemy
> >z designem systemu można rozwiązać w ramach konsultacji z profesjonalnym
> >programistą. Gdyby ten system działał źle, to nie stosowałyby go tak
> >profesjonalne firmy jak Goldman Sachs (który NB stworzył swój własny język
> >programowania, żeby ułatwić nie-programistom pisanie kodu modelującego).
> >
>
> jako osobnik zajmujacy sie modelowaniem matematycznym i "przekuwajacym
> go w metal" mam neijakei watpliwosci. Specfikacja modelu
> matematycznago na ogol jest wielowarstwowa - poczynajac od zupelnie
> formalnej (rownania) popzrez kolejne warstwwy coraz blizsze jezyka
> programwoania, az do "normalnego" jezyka programwoania
>
> Przynajmniej u mnie, na poczatku sa rownania, potem jest formalna
> specyfikacja w jezyku Object-Z, potem ejst tlumaczenie tego na jezyk
> modelowania (nei majacy nic wspolnego z C++ czy "normalnymi"
> jezykami), a potem ewentualnie do normalnego jezyka programowania.
> Potzrebne ejst to po to aby byla jasna wzajemna jednoznacznosc meidzy
> kodem a rownaniami, jak rozneiz mozliwosc sprawdzenia poprawnosci tego
> wszystkiego (zwlaszcza po dokonaniu zmian z jednego lub drugiego
> konca). Oczywiscie, mozna napisac rownania od razu w C++, ale potem
> znalezienie tych rownan w C++ moze byc trudne/smemozliwe, w
> szczegolnosci jeseli programisci porobia sobie jakies dowolne zmiany.
Wyobrażam sobie, że tak można rozwijać kod który ma służyć lata. Front office
w banku inwestycyjnym musi zmieniać modele w skali czasowej dni albo godzin. I
owszem, mają procedury testowe. Firma w której pracowałem wcześniej nie była
bankiem ("wynajmowala" swoje modele innym firmom) ale miała typową procedurę
testową: testy regresji, testy użytkowników (nie-quantów i nie-programistów),
dzial QA, testy jednostkowe. Ale quantom i tak pozwalali pisać kod, bo tak
jest wydajniej i wbrew pozorom bezpieczniej. Łatwiej zauważyć, że ktoś źle
używa jakiegoś wzorca projektowego, niż że ewoluuje równanie stochastyczne w
złej mierze, bo nie rozumie od konca co robi, albo oblicza wartosc funkcji w
sposob ktory wygeneruje bledy numeryczne poza tolerancja. Tak, testy pomagaja
to wylapac, ale testy musi projektowac ktos kto sie na tym zna, a nie
programista. Wiec nawet jakbys chcial, to nie wyeliminujesz nie-programisty z
tego procesu.
>
> Podobnie jak Godman-Sachs mamy wlasna metodologie konstrukcji i
> weryfikacji programow opartych o matematyke. Firma ILOG opublikwoala
> kiedys dosyc dobry manual na temat produkcji oprogramowania
> zawierajacego komponenty matematyczne, ale nie wiem czy po przejeciu
> przez IBM te materialy sa jescze dostepne.
>
> W Europie, IC-PARC (neiistniejaca juz komorka Imperial College) w
> ramach projektu ESPRIT zwanego CHIP opracowala 4 tomowy manual o
> konstrukcji oprogramowania z komponentami optymalizacujnymi. Neistety,
> nie jest dostepny on-line, bo zatonal wraz z IC-PARC, ale mam wlasna
> kopie, wiec moge podeslac.
Bardzo chetnie!
>
> >>
> >> No to fime moze robic sobei co chce, przynajmniej w teorii, bo w
> >> praktyce mimo ze software jest "in house", to obraca czyimis
> >> pieiedzmi. I o ile w takiej firmie badziewny nikogo nie zabije, to ja
> >> nie chcialbym byc klientem takiej firmy
> >
> >Dla jasnosci: nie mowilem o kodzie, ktorzy obsluguje przelewy bankowe, tylko o
> >np. skomputeryzowanych strategiach algotrading.
> >
>
> Owszem, domyslilem sie. Tylko ze na ogol to tez sa CZYJES pieneidze.
> bank jako taki nie obraca "wlasnymi" pieneidzmi bo takowych nie ma
Banki inwestycyjne miewaja tzw. oddzialy proprietary trading, które pożyczają
pieniadze od macierzystego banku na zasadach rynkowych i obracają nimi. Wtedy
to są z prawnego punktu widzenia ich pieniądze (tak jakbyś wziął pożyczkę w
banku na działalność gospodarczą), a nie klienta. No i te oddziały mają
największą swobodę działania, właśnie dlatego, że robią wszystko na swój rachunek.
KK
--
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/
Następne wpisy z tego wątku
- 07.01.11 23:28 bartekltg
- 07.01.11 23:29 Mariusz Marszałkowski
- 08.01.11 00:03
- 08.01.11 01:49 A.L.
- 08.01.11 01:50 A.L.
- 08.01.11 01:51 A.L.
- 08.01.11 02:51 A.L.
- 08.01.11 08:30 Mariusz Marszałkowski
- 08.01.11 19:46 Przemek O.
- 08.01.11 15:09 Michoo
- 08.01.11 16:33 janusz.lepionko
- 08.01.11 08:48 Jacek Czerwinski
- 08.01.11 22:46 A.L.
- 08.01.11 22:49 A.L.
- 08.01.11 23:05 A.L.
Najnowsze wątki z tej grupy
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
Najnowsze wątki
- 2025-03-21 Zakaz wjazdu
- 2025-03-21 Nie zawsze wchodzi jedynka
- 2025-03-21 Samochody na wodę
- 2025-03-20 miszczowie parkowania
- 2025-03-20 "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- 2025-03-21 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-03-21 Warszawa => Strategic Account Manager <=
- 2025-03-21 Wrocław => SOC Tech Leader <=
- 2025-03-21 Szczecin => Key Account Manager IT <=
- 2025-03-21 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-03-21 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-21 Warszawa => IT Business Analyst <=
- 2025-03-21 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-03-21 Dęblin => Node.js / Fullstack Developer <=
- 2025-03-21 Re: Co po KK-200? (Przypadki szczególne ponad 15 lat) [Islandzka matka/ministra ustąpiła]