Anton Salikhmetov

http://www.halla-aho.com/scripta/husbyn_herattamia_ajatuksia.html

Одна проблема, которую я неоднократно объяснял как властям Хельсинки, так и государственным чиновникам, состоит в том, что критерии и способы измерения "успешности интеграции" являются совершенно ошибочными. По мнению помощника мэра Ритвы Вильянен, отвечающей за иммиграцию, доказательством успеха мер по интеграции является то, что в городе имеется отвечающий за эти вопросы чиновник. Иначе говоря, успешность интеграции измеряется тем, сколько к ней приложено усилий и сколько на неё потрачено денег.

Второй способ измерения интеграции - это опросы самих иммигрантов, обычно из Сомали, насколько им уютно в Финляндии. Можно, таким образом, сказать, что "интеграция" отождествляется с "чувствовать себя как дома". Это проблемная характеристика, как продемонстрировала ниже жительница Мальмё Фатима.



Об иммиграции и интеграции часто говорят как о двустороннем процессе. Жаль, что на деле получается односторонний процесс, так как учитывается лишь точка зрения самих иммигрантов, а не коренного населения и общества в целом. В первую очередь иммигрантов следовало бы разделить с целью изучения на группы, так как не все из них вообще требуют специальных усилий или поддержки интеграции. Например то, что у всех выходцев из Непала, живущих в Финляндии, есть ресторан непальской кухни, не доказывает успеха интеграционного процесса, так как у этих непальцев были бы эти рестораны, даже если бы мы вообще не занимались вопросами интеграции.

Успех процесса интеграции необходимо оценивать с помощью объективных и измеряемых критериев, таких как степень зависимости от социальной поддержки, процента безработицы, и относительного уровня преступности. Если эти параметры выглядят каждый год одинаково плохо, необходимо сделать вывод, что интеграция не работает, сколько бы денег мы на это ни потратили, и как бы уютно ни было Фатиме.

На ShareLaTeX теперь доступно краткое изложение λ-исчисления:

https://www.sharelatex.com/project/5154436b3d6929174048f846

Данный текст представляет собой чрезвычайно сжатый конспект классической монографии по λ-исчислению (Х. Барендрегт, «Ламбда-исчисление. Его синтаксис и семантика», перевод с английского Г. Е. Минца под редакцией А. С. Кузичева, Москва, «Мир», 1985).

Он может оказаться интересен всем тем, кто планировал взяться за систематическое изучение данной темы, уже в общих чертах ознакомившись с ней, но откладывал из-за сложной структуры основной монографии, определения и основные результаты в которой довольно разрозненны. Здесь мы попытаемся сделать изложение, напротив, абсолютно линейным, и, конечно, несравнимо более коротким, избегая лишних определений и примеров, а сосредоточившись на необходимых терминологии, обозначениях и утверждениях, которые, в свою очередь, изложены близко к оригинальному тексту.

Мы начнем от определения системы λβη, то есть классического бестипового экстенсионального λ-исчисления. Затем перейдем к комбинаторной логике, теореме о неподвижной точке и синтаксическому сахару. Наконец, заключительная часть конспекта — построение топологии на выражениях этой системы, призванной объяснить кажущееся противоречие: отображения множества выражений в себя содержатся в самом этом множестве при его счетности. На самом же деле, множество наделяется надлежащей топологией, в которой выражения представляют собой непрерывные отображения.

Кстати, сервис ShareLaTeX оказался чрезвычайно удобным. Горячо рекомендую его для хранения математических текстов и, в том числе совместного, их редактирования. Собираюсь использовать его для перевода седьмой главы о системах взаимодействия прекрасного учебника по моделям вычислений. Скорее всего, перевод будет доступен по следующему адресу:

https://www.sharelatex.com/project/515429c83d69291740451afe

http://www.knosof.co.uk/poschk.html

Applications POSIX.1 conformance testing

Derek Jones
derek@knosof.co.uk
Knowledge Software Ltd
Farnborough, Hants
UK

ABSTRACT

The Standards for POSIX and C were designed to enable the portability of applications across platforms. A lot of work has gone into checking compilers and environments for conformance to these Standards, but almost nothing has been done to check applications conformance. The incorrect assumption being made that the development compiler will warn about any construct that needs looking at. This paper discusses a tool that checks applications software for conformance to these Standards at compile, link and runtime as well as the library interface. Any application that can pass through this checker without producing any warnings is a conforming POSIX program and a strictly conforming C program.

© Copyright 1992,95. Knowledge Software Ltd. All rights reserved;

Presented at the EurOpen & USENIX Spring 1992 Workshop/Conference

Только что понял, что именно мне напоминает схема вычисления с четырьмя списками L, A, D, R и алгоритмом сортировки "мусора" aord. Она во многом похожа на механизм транскрипции в биологии (процесс синтеза РНК с использованием ДНК в качестве матрицы).

В связи с этим становится яснее, почему системы взаимодействия часто связывают с формальной биологией и взаимодействием белков. В частности, Maribel Fernandez, автор и соавтор чуть менее, чем всех статей по системам взаимодействия, последние годы говорит о связи данной темы с молекулярной биологией, а также о системах перезаписи портов, при которой меняются связи, но не ноды. Последнее, в свою очередь, также близко к нашим конструкциям, в которых не используется никакой аллокатор памяти, а лишь производится перестановка указателей.

Произведя нехитрый поиск, я немедленно натолкнулся на книгу Maribel Fernandez под названием "Models of Computation: An Introduction to Computability Theory" и теперь жду не дождусь заполучить ее в руки:



http://www.amazon.co.uk/dp/1848824335

P. S. Получил, наконец-то. Оказалось неплохим вводным учебником по CS в его современном виде.

A two-week trip by car from Nordic to Benelux through the impossible bridge and unlimited autobahns, then back home*.



*Stupid me, to believe there's civilized world any farther. Free advice: turn around when possible.

From the Preface

Have you ever...

• wasted a lot of time coding the wrong algorithm?
• used a data structure that was much too complicated?
• tested a program but missed an obvious problem?
• spent a day looking for a bug you should have found in five minutes?
• needed to make a program run three times faster and use less memory?
• struggled to move a program from a workstation to a PC or vice versa?
• tried to make a modest change in someone else's program?
• rewritten a program because you couldn't understand it?

Was it fun?

These things happen to programmers all the time. But dealing with such problems is often harder than it should be because topics like testing, debugging, portability, performance, design alternatives, and style -- the practice of programming -- are not usually the focus of computer science or programming courses. Most programmers learn them haphazardly as their experience grows, and a few never learn them at all.

In a world of enormous and intricate interfaces, constantly changing tools and languages and systems, and relentless pressure for more of everything, one can lose sight of the basic principles -- simplicity, clarity, generality -- that form the bedrock of good software. One can also overlook the value of tools and notations that mechanize some of software creation and thus enlist the computer in its own programming.

Our approach in this book is based on these underlying, interrelated principles, which apply at all levels of computing. These include simplicity, which keeps programs short and manageable; clarity, which makes sure they are easy to understand, for people as well as machines; generality, which means they work well in a broad range of situations and adapt well as new situations arise; and automation, which lets the machine do the work for us, freeing us from mundane tasks. By looking at computer programming in a variety of languages, from algorithms and data structures through design, debugging, testing, and performance improvement, we can illustrate universal engineering concepts that are independent of language, operating system, or programming paradigm.

This book comes from many years of experience writing and maintaining a lot of software, teaching programming courses, and working with a wide variety of programmers. We want to share lessons about practical issues, to pass on insights from our experience, and to suggest ways for programmers of all levels to be more proficient and productive.

http://cm.bell-labs.com/cm/cs/tpop/preface.html